From ce748f59923b3a3d432d6e8a12366f71284b595f Mon Sep 17 00:00:00 2001 From: Brian Gernhardt Date: Mon, 23 Apr 2007 20:02:34 -0400 Subject: [PATCH] Ignore all man sections as they are generated files. Signed-off-by: Brian Gernhardt Signed-off-by: Junio C Hamano --- Documentation/.gitignore | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Documentation/.gitignore b/Documentation/.gitignore index b98d21e98e..a37b2152bd 100644 --- a/Documentation/.gitignore +++ b/Documentation/.gitignore @@ -1,7 +1,6 @@ *.xml *.html -*.1 -*.7 +*.[1-8] *.made howto-index.txt doc.dep