Merge branch 'maint' of git://repo.or.cz/git-gui into maint

[git.git] / Documentation / .gitignore

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