Merge branch 'maint-1.5.5' into maint-1.5.6

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