index b98d21e98e008c79d2598c6aa9213826d26f5b0d..2f938f471a647f387355290695d54433def16e46 100644 (file)
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
*.xml
*.html
*.xml
*.html
-*.1
-*.7
+*.[1-8]
*.made
*.made
+git.info
howto-index.txt
doc.dep
cmds-*.txt
howto-index.txt
doc.dep
cmds-*.txt