git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH] Ignore section 5 man pages

From
HAH. Peter Anvin <hpa@zytor.com>
Date
Apr 23, 2007, 23:54 UTC
Message-ID
<462D4733.3000901@zytor.com>
In-Reply-To
<20070423235003.GA29849@Hermes.local>
Brian Gernhardt wrote:
Show 21 quoted lines
> 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
Previous: Brian GernhardtNext: Brian Gernhardt
Message 2 of 3 in “Ignore section 5 man pages”
  1. Ignore section 5 man pagesBrian Gernhardt, Apr 23, 2007
  2. H. Peter AnvinApr 23, 2007
  3. Ignore all man sections.Brian Gernhardt, Apr 24, 2007

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.