[PATCH] Ignore all man sections.

[Brian Gernhardt <benji@silverinsanity.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 <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