Merge branch 'jc/maint-combined-diff-work-tree'

diff --git a/Documentation/Makefile b/Documentation/Makefile
index 36989b7f6541cb8444385b64d2c955ae2a1f6d1b..18c71d763f472b1a98ad162626a0bc3d39d7e975 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