PATCH] doc: adding gitman.info and *.texi to .gitignore

From 4193b9491cfa9d29b0f18b18d09e0c33326f5ed5 Mon Sep 17 00:00:00 2001

From: Geoffrey Irving <redacted>
Date: Thu, 12 Jun 2008 07:29:42 -0700
Subject: [PATCH] doc: adding gitman.info and *.texi to .gitignore

---
 Documentation/.gitignore |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/Documentation/.gitignore b/Documentation/.gitignore
index 2f938f4..d8edd90 100644
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore

@@ -2,7 +2,9 @@
 *.html
 *.[1-8]
 *.made
+*.texi
 git.info
+gitman.info
 howto-index.txt
 doc.dep
 cmds-*.txt

-- 
1.5.5.1.508.ga00f3