Re: [PATCH] Documentation: avoid tracking intermediate build products

Jonathan Nieder [off-list ref] writes:

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.

Thanks; I think "*+" would suffice, though.