* [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
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.