commit 3d53b881b42160c3d49d765eca9d448566055d5a parent ab494eac79baa7ee33410237bdbc2748f9028d5f Author: Martin Schanzenbach <schanzen@gnunet.org> Date: Tue, 2 Aug 2022 20:44:06 +0200 uninstall 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: install all help Makefile +.PHONY: uninstall install all help Makefile # Put it first so that "make" without argument is like "make help". help: