diff --git a/Documentation/.gitignore b/Documentation/.gitignore
index 2f938f471a647f..d8edd904065fbc 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