gnunet-handbook

commit 1f374da71b21d0b36eb6f95cc68958fd339c34a3
parent 18f809556da253ad86f1ce889115fd55e4ea539b
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date:   Fri,  5 Aug 2022 09:53:45 +0200

fix clean, dist

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

1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/Makefile.am b/Makefile.am
@@ -22,6 +22,9 @@ _build/man/gnunet.1: Makefile man
 
 man_MANS = _build/man/gnunet.1
 
+clean:
+	rm -rf $(BUILDDIR)
+
 EXTRA_DIST = \
   about.rst \
   conf.py \
@@ -35,8 +38,7 @@ EXTRA_DIST = \
   man_developers \
   man_users \
   preface.rst \
-  _static \
-  _templates
+  _static
 
 html: Makefile
 	@$(SPHINXBUILD) -M html "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)