Add *.xml+, *.html+, *.texi+, and *.texi++ to .gitignore. Cc: Chris Johnsen <chris_johnsen@xxxxxxxxx> Signed-off-by: Jonathan Nieder <jrnieder@xxxxxxxxx> --- 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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html