gnunet-handbook

commit 5cceee031ff02fa51953dbd8f3ce5d78992a93c3
parent 440d7b1899e561ad111070fc680212f8a4ce32ff
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date:   Tue,  6 Sep 2022 13:56:55 +0200

-fix

Diffstat:
M
Makefile
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
@@ -14,10 +14,10 @@ help:
 
 .PHONY: help Makefile
 
-man: Makefile
+man:
 	@$(SPHINXBUILD) -M man "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 
-html: Makefile
+html:
 	@$(SPHINXBUILD) -M html "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).