Merge branch 'jk/diffcore-break-divzero' into maint

diff --git a/Documentation/.gitignore b/Documentation/.gitignore
index a37b2152bd26be2c2289e1f57a292534a51a93c7..2c8b2d612ee0d6c1f687bfa062bb7fe6471d9280 100644 (file)
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
@@ -2,6 +2,12 @@
 *.html
 *.[1-8]
 *.made
+*.texi
+*.pdf
+git.info
+gitman.info
 howto-index.txt
 doc.dep
 cmds-*.txt
+mergetools-*.txt
+manpage-base-url.xsl