index 9fef490871b94b8434791897bea02e5cbe886032..d8edd904065fbc4bd06365ce378f57d4cd8f9f0d 100644 (file)
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
*.xml
*.html
*.xml
*.html
-*.1
-*.7
+*.[1-8]
+*.made
+*.texi
+git.info
+gitman.info
howto-index.txt
doc.dep
howto-index.txt
doc.dep
+cmds-*.txt