commit 85cd5e1ae79e2988708410cf610a6981fa026ace parent 951b019c3f9a578a6f6547e0f921411bd6d9a885 Author: Martin Schanzenbach <schanzen@gnunet.org> Date: Wed, 3 Aug 2022 07:53:13 +0200 todo, distdir Diffstat:
| M | Makefile | | | 4 | +++- |
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/Makefile b/Makefile @@ -10,7 +10,9 @@ BUILDDIR = _build all: html -.PHONY: uninstall install all help Makefile +.PHONY: distdir uninstall install all help Makefile + +# TODO implement install uninstall and distdir(?) # Put it first so that "make" without argument is like "make help". help: