diff options
| author | Brian Gernhardt <benji@silverinsanity.com> | 2007-04-23 20:02:34 -0400 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2007-04-23 22:19:36 -0700 |
| commit | ce748f59923b3a3d432d6e8a12366f71284b595f (patch) | |
| tree | 7e7547e9b103c73b9732db63e5c14ea65d3a3542 | |
| parent | 6777c3806da18d4a3a05e5bcdde0aa9efb9b3b9f (diff) | |
| download | git-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/.gitignore | 3 |
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 |