index 1c3a9fead579a9b52037f1bbe245998db8a2f40b..d62aebd848b2a44f977ad4d7c4b75b6ff72b2163 100644 (file)
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
*.[1-8]
*.made
*.texi
+*.pdf
git.info
gitman.info
howto-index.txt