Merge branch 'js/maint-add-path-stat-pwd' into maint

diff --git a/Documentation/.gitignore b/Documentation/.gitignore
index d8edd904065fbc4bd06365ce378f57d4cd8f9f0d..d62aebd848b2a44f977ad4d7c4b75b6ff72b2163 100644 (file)
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
@@ -3,8 +3,10 @@
 *.[1-8]
 *.made
 *.texi
+*.pdf
 git.info
 gitman.info
 howto-index.txt
 doc.dep
 cmds-*.txt
+manpage-base-url.xsl