Merge branch 'bw/doc-repo-layout'

diff --git a/Documentation/Makefile b/Documentation/Makefile
index 2004fbe6306d6bf3de98addd629a2be358edf9c5..6346a75dda72533667a96eea2bd65bb280383f99 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -232,6 +232,7 @@ cmd-list.made: cmd-list.perl ../command-list.txt $(MAN1_TXT)
 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