diff --git a/.gitignore b/.gitignore
index 520f29abe7682d32776b5f9e338c71124d36676e..42a79d99ef5480da49ba96b1157b3fe9ae59cd88 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,3 +6,10 @@
 dmm
 *.nml
 *.m
+*.pri
+*.dis
+*.fst
+*.inn
+*.ml
+*.par
+*.unb