[GNUnet-SVN] [gnunet] branch master updated: rm rf

[gnunet]

This is an automated email from the git hooks/post-receive script.

ng0 pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 04e871320 rm rf
04e871320 is described below

commit 04e8713205cc661823305e0411e23966e6e18ca3
Author: ng0 <address@hidden>
AuthorDate: Fri Aug 16 22:42:57 2019 +0000

    rm rf
---
 doc/handbook/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

-- 
To stop receiving notification emails like this one, please contact
address@hidden.