From: Brian Gernhardt Date: Tue, 24 Apr 2007 00:02:34 GMT Subject: [PATCH] Ignore all man sections. Message-ID: <20070424000234.GA833@Hermes.local> In-Reply-To: <462D4733.3000901@zytor.com> We added gitattributes(5), which should now be ignored. While we're at it, ignore all man sections 1-8. Signed-off-by: Brian Gernhardt --- On Apr 23, 2007, at 7:54 PM, H. Peter Anvin wrote: > Brian Gernhardt wrote: >> We now have a gitattributes(5) file, so let git ignore that just like >> all the other man pages. >> Signed-off-by: Brian Gernhardt > > We can't just add *.[1-8] to the list? > > -hpa Indeed we can. But that would make sense. Documentation/.gitignore | 3 +-- 1 files changed, 1 insertions(+), 2 deletions(-) diff --git a/Documentation/.gitignore b/Documentation/.gitignore index b98d21e..a37b215 100644 --- a/Documentation/.gitignore +++ b/Documentation/.gitignore @@ -1,7 +1,6 @@ *.xml *.html -*.1 -*.7 +*.[1-8] *.made howto-index.txt doc.dep -- 1.5.2.rc0.1.g2cc31