aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBrian Gernhardt <benji@silverinsanity.com>2007-04-23 20:02:34 -0400
committerJunio C Hamano <junkio@cox.net>2007-04-23 22:19:36 -0700
commitce748f59923b3a3d432d6e8a12366f71284b595f (patch)
tree7e7547e9b103c73b9732db63e5c14ea65d3a3542
parent6777c3806da18d4a3a05e5bcdde0aa9efb9b3b9f (diff)
downloadgit-ce748f59923b3a3d432d6e8a12366f71284b595f.tar.gz
git-ce748f59923b3a3d432d6e8a12366f71284b595f.tar.xz
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>
-rw-r--r--Documentation/.gitignore3
1 files changed, 1 insertions, 2 deletions
diff --git a/Documentation/.gitignore b/Documentation/.gitignore
index b98d21e98..a37b2152b 100644
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
@@ -1,7 +1,6 @@
*.xml
*.html
-*.1
-*.7
+*.[1-8]
*.made
howto-index.txt
doc.dep