diff --git a/Documentation/Makefile b/Documentation/Makefile
index 36989b7f6541cb8444385b64d2c955ae2a1f6d1b..18c71d763f472b1a98ad162626a0bc3d39d7e975 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
clean:
$(RM) *.xml *.xml+ *.html *.html+ *.1 *.5 *.7
$(RM) *.texi *.texi+ *.texi++ git.info gitman.info
+ $(RM) *.pdf
$(RM) howto-index.txt howto/*.html doc.dep
$(RM) technical/api-*.html technical/api-index.txt
$(RM) $(cmds_txt) *.made