Ignore all man sections as they are generated files.

Signed-off-by: Brian Gernhardt <benji@silverinsanity.com> Signed-off-by: Junio C Hamano <junkio@cox.net>
git-mirror · Apr 24, 2007 · ce748f5 · ce748f5
1 parent 6777c38
commit ce748f5
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/Documentation/.gitignore b/Documentation/.gitignore
@@ -1,7 +1,6 @@
 *.xml
 *.html
-*.1
-*.7
+*.[1-8]
 *.made
 howto-index.txt
 doc.dep