diff --git a/math/.gitignore b/math/.gitignore
index 18dc1ad..9216c19 100644
--- a/math/.gitignore
+++ b/math/.gitignore
@@ -2,6 +2,7 @@
 *.cmi
 *.cmx
 *.o
+parser.mli
 
 # The binaries
 texvc
diff --git a/texvccheck/.gitignore b/texvccheck/.gitignore
index be7dcb9..3c1635a 100644
--- a/texvccheck/.gitignore
+++ b/texvccheck/.gitignore
@@ -1,9 +1,8 @@
 # Compiled source
-*.mli
-!tex.mli
 *.cmi
 *.cmx
 *.o
+parser.mli
 
 # The binaries
 texvccheck