* [PATCH] Ignore section 5 man pages
@ 2007-04-23 23:50 Brian Gernhardt
2007-04-23 23:54 ` H. Peter Anvin
0 siblings, 1 reply; 3+ messages in thread
From: Brian Gernhardt @ 2007-04-23 23:50 UTC (permalink / raw
To: git
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
--
1.5.2.rc0.1.g2cc31
^ permalink raw reply related [flat|nested] 3+ messages in thread
* Re: [PATCH] Ignore section 5 man pages
2007-04-23 23:50 [PATCH] Ignore section 5 man pages Brian Gernhardt
@ 2007-04-23 23:54 ` H. Peter Anvin
2007-04-24 0:02 ` [PATCH] Ignore all man sections Brian Gernhardt
0 siblings, 1 reply; 3+ messages in thread
From: H. Peter Anvin @ 2007-04-23 23:54 UTC (permalink / raw
To: Brian Gernhardt; +Cc: git
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
^ permalink raw reply [flat|nested] 3+ messages in thread
* [PATCH] Ignore all man sections.
2007-04-23 23:54 ` H. Peter Anvin
@ 2007-04-24 0:02 ` Brian Gernhardt
0 siblings, 0 replies; 3+ messages in thread
From: Brian Gernhardt @ 2007-04-24 0:02 UTC (permalink / raw
To: git
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 <benji@silverinsanity.com>
---
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 <benji@silverinsanity.com>
>
> 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
^ permalink raw reply related [flat|nested] 3+ messages in thread
end of thread, other threads:[~2007-04-24 0:06 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2007-04-23 23:50 [PATCH] Ignore section 5 man pages Brian Gernhardt
2007-04-23 23:54 ` H. Peter Anvin
2007-04-24 0:02 ` [PATCH] Ignore all man sections Brian Gernhardt
Code repositories for project(s) associated with this public inbox
https://80x24.org/mirrors/git.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).