Ignore all man sections as they are generated files.
authorBrian Gernhardt <benji@silverinsanity.com>
Tue, 24 Apr 2007 00:02:34 +0000 (20:02 -0400)
committerJunio C Hamano <junkio@cox.net>
Tue, 24 Apr 2007 05:19:36 +0000 (22:19 -0700)
Signed-off-by: Brian Gernhardt <benji@silverinsanity.com>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Documentation/.gitignore
index b98d21e98e008c79d2598c6aa9213826d26f5b0d..a37b2152bd26be2c2289e1f57a292534a51a93c7 100644 (file)
@@ -1,7 +1,6 @@
 *.xml
 *.html
-*.1
-*.7
+*.[1-8]
 *.made
 howto-index.txt
 doc.dep