build: clean generated documentation

Add to the clean target the removal of the generated documentation.

Also use $(RM) for calling the command rm, which is a bit more
portable.

diff --git a/doc/Makefile.am b/doc/Makefile.am
index b96acc1..b6b6f3e 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -74,7 +74,10 @@ install-html-local:
        done
 
 uninstall-local:
-       rm -rf $(DESTDIR)$(docdir)/html
+       $(RM) -rf $(DESTDIR)$(docdir)/html
+
+clean-local:
+       $(RM) -rf html-out latex
 
 # Extra clean files so that maintainer-clean removes *everything*
 MAINTAINERCLEANFILES = Makefile.in Doxyfile