ignore more files generated by texinfo

diff --git a/doc/.gitignore b/doc/.gitignore
index 1568b38b2219cd37f00a3ff44cac687e25755bf0..eb9fdf4027402d83741c12a4ea944fe1ccef3b34 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,3 +1,5 @@
+mdate-sh
+texinfo.tex
 flex.aux
 flex.cp
 flex.cps
@@ -24,3 +26,4 @@ flex.pdf
 flex.ps
 version.texi
 flex.html
+flex.t2p