# [PATCH] Ignore section 5 man pages 3 messages from 2007-04-23 to 2007-04-24. Participants: Brian Gernhardt, H. Peter Anvin. Thread: https://gitlist.dev/t/7807 ## Brian Gernhardt, 2007-04-23 23:50 Subject: [PATCH] Ignore section 5 man pages Message-ID: <20070423235003.GA29849@Hermes.local> URL: https://gitlist.dev/e/20070423235003.GA29849%40Hermes.local ``` We now have a gitattributes(5) file, so let git ignore that just like all the other man pages. Signed-off-by: Brian Gernhardt --- Documentation/.gitignore | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/Documentation/.gitignore b/Documentation/.gitignore index b98d21e..d067481 100644 --- a/Documentation/.gitignore +++ b/Documentation/.gitignore @@ -1,6 +1,7 @@ *.xml *.html *.1 +*.5 *.7 *.made howto-index.txt -- 1.5.2.rc0.1.g2cc31 ``` ## H. Peter Anvin, 2007-04-23 23:54 Subject: Re: [PATCH] Ignore section 5 man pages Message-ID: <462D4733.3000901@zytor.com> URL: https://gitlist.dev/e/462D4733.3000901%40zytor.com In-Reply-To: <20070423235003.GA29849@Hermes.local> ``` 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 > --- > > Documentation/.gitignore | 1 + > 1 files changed, 1 insertions(+), 0 deletions(-) > > diff --git a/Documentation/.gitignore b/Documentation/.gitignore > index b98d21e..d067481 100644 > --- a/Documentation/.gitignore > +++ b/Documentation/.gitignore > @@ -1,6 +1,7 @@ > *.xml > *.html > *.1 > +*.5 > *.7 > *.made > howto-index.txt We can't just add *.[1-8] to the list? -hpa ``` ## Brian Gernhardt, 2007-04-24 00:02 Subject: [PATCH] Ignore all man sections. Message-ID: <20070424000234.GA833@Hermes.local> URL: https://gitlist.dev/e/20070424000234.GA833%40Hermes.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 ```