index 6a51331b2fbf991d16dae9d4e486463dfa567311..a37b2152bd26be2c2289e1f57a292534a51a93c7 100644 (file)
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
*.xml
*.html
-*.1
-*.7
+*.[1-8]
+*.made
howto-index.txt
doc.dep
cmds-*.txt