From: H. Peter Anvin <hpa@zytor.com>
Date: Mon, 23 Apr 2007 23:54:27 GMT
Subject: Re: [PATCH] Ignore section 5 man pages
Message-ID: <462D4733.3000901@zytor.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 <benji@silverinsanity.com>
> ---
> 
>  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