commit 82f55fd7e235edbcf620e57467f6f2db5ac32786 parent 6bed4d966128df31970c77df5b53ac142b7f651c Author: Martin Schanzenbach <schanzen@gnunet.org> Date: Tue, 2 Aug 2022 17:40:24 +0200 -install phony Diffstat:
| M | Makefile | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile @@ -10,7 +10,7 @@ BUILDDIR = _build all: html -.PHONY: all help Makefile +.PHONY: install all help Makefile # Put it first so that "make" without argument is like "make help". help: