Merge branch 'maint'

[git] / Documentation / .gitignore

diff --git a/Documentation/.gitignore b/Documentation/.gitignore
index c87c61a..2f938f4 100644 (file)
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
@@ -1,7 +1,8 @@
 *.xml
 *.html
-*.1
-*.7
+*.[1-8]
+*.made
+git.info
 howto-index.txt
 doc.dep
-README
+cmds-*.txt