My Various Git Projects / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6777c38)
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 patch | blob | history

diff --git a/Documentation/.gitignore b/Documentation/.gitignore
index b98d21e..a37b215 100644 (file)
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
@@ -1,7 +1,6 @@
 *.xml
 *.html
-*.1
-*.7
+*.[1-8]
 *.made
 howto-index.txt
 doc.dep
The core git plumbing