summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-08-16 22:42:57 +0000
committerng0 <ng0@n0.is>2019-08-16 22:42:57 +0000
commit04e8713205cc661823305e0411e23966e6e18ca3 (patch)
tree3136c618d3ff8b7e9c21bf8041ea10ed8771727b /doc
parent5b09f5273e9e0a3f9efb4706832181534dd9eefd (diff)
rm rf
Diffstat (limited to 'doc')
-rw-r--r--doc/handbook/Makefile.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/handbook/Makefile.am b/doc/handbook/Makefile.am
index 1725dd075..e167890a6 100644
--- a/doc/handbook/Makefile.am
+++ b/doc/handbook/Makefile.am
@@ -188,7 +188,7 @@ dev-build: version.texi/replacement
# TODO: Add more to clean.
clean: version.texi/replacement/revert
@rm -f gnunet.pdf
- @rm -f gnunet.html
+ @rm -rf gnunet.html
@rm -f gnunet.info
@rm -f gnunet.info-1
@rm -f gnunet.info-2