gnunet-handbook

commit 7b4f05b78016a84e6be77f1257d05652217eb6b7
parent fc8de6a9a9ff4b5e82ba5e355311b7f0e0cd1ad8
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date:   Sat,  1 Oct 2022 17:10:11 +0900

more targets

Diffstat:
M
Makefile
 | 
6
++++--

1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
@@ -14,7 +14,7 @@ all: man html info
 help:
 	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 
-.PHONY: all clean help Makefile
+.PHONY: all clean help install install-strip uninstall distclean check installcheck dist installcheck Makefile
 
 man:
 	@$(SPHINXBUILD) -M man "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
@@ -26,7 +26,9 @@ info:
 	@$(SPHINXBUILD) -M info "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 
 clean:
-	rm -rf _build
+	rm -rf $(BUILDDIR)
+
+distclean: clean
 
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 #%: Makefile