[PATCH] Documentation: avoid tracking intermediate build products

Add *.xml+, *.html+, *.texi+, and *.texi++ to .gitignore.

Cc: Chris Johnsen <redacted>
Signed-off-by: Jonathan Nieder <redacted>
---
Some of these files appeared in the "git status" output after an
interrupted build.  I hope I caught them all.

Good night,
Jonathan

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

diff --git a/Documentation/.gitignore b/Documentation/.gitignore
index d8edd90..22dbc0b 100644
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore

@@ -1,8 +1,12 @@
 *.xml
+*.xml+
 *.html
+*.html+
 *.[1-8]
 *.made
 *.texi
+*.texi+
+*.texi++
 git.info
 gitman.info
 howto-index.txt

-- 
1.6.5.2