gnunet-handbook

commit fc8de6a9a9ff4b5e82ba5e355311b7f0e0cd1ad8
parent 01be27bdbac7190e377d593ac978104b8f622eae
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date:   Sat,  1 Oct 2022 17:00:48 +0900

clean target

Diffstat:
M
Makefile
 | 
5
++++-

1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
@@ -14,7 +14,7 @@ all: man html info
 help:
 	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 
-.PHONY: help Makefile
+.PHONY: all clean help Makefile
 
 man:
 	@$(SPHINXBUILD) -M man "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
@@ -25,6 +25,9 @@ html:
 info:
 	@$(SPHINXBUILD) -M info "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 
+clean:
+	rm -rf _build
+
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 #%: Makefile
 #	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)