diff --git a/src/plugins/aorai/.gitignore b/src/plugins/aorai/.gitignore
index 4a6e0c9805a7e9c317398b3867de0527f647999b..b16c5f3d525a68c04f8ff15d0459410c5fed0a1f 100644
--- a/src/plugins/aorai/.gitignore
+++ b/src/plugins/aorai/.gitignore
@@ -1,19 +1,7 @@
 /tests/ptests_config
 /Makefile
-/ltllexer.ml
-/ltlparser.ml
-/ltlparser.mli
-/promelalexer.ml
-/promelalexer_withexps.ml
-/promelaparser.mli
-/promelaparser.ml
-/promelaparser_withexps.ml
-/promelaparser_withexps.mli
-/yalexer.ml
-/yaparser.ml
-/yaparser.mli
 /*parser*.output
 /ptests_local_config.ml
 /tests/*/result
 /tests/test_config_prove
-/tests/*/result_prove
\ No newline at end of file
+/tests/*/result_prove
diff --git a/src/plugins/qed/.gitignore b/src/plugins/qed/.gitignore
index 549dd6d17c4e5f0fd31348346118b778e4faeda7..41e8d77bed9a54d1afbd1310294b3af5831cc199 100644
--- a/src/plugins/qed/.gitignore
+++ b/src/plugins/qed/.gitignore
@@ -1,2 +1 @@
 /.depend
-/Qed.mli
diff --git a/src/plugins/server/.gitignore b/src/plugins/server/.gitignore
index f1d2f8cc5ec41ae8f688b80afeb51e4084f3c60f..b0b245fa88d9c44f0f151fcb0d3f6d2772c9db72 100644
--- a/src/plugins/server/.gitignore
+++ b/src/plugins/server/.gitignore
@@ -1,4 +1,3 @@
 /Makefile
-/Server.mli
 /tests/ptests_config
 /tests/report/result
diff --git a/src/plugins/wp/.gitignore b/src/plugins/wp/.gitignore
index 817f9eb8dee4225818261f883e8c796f5b1f4ef2..cef13bf8888bf028592d12d57dfdaea19175c379 100644
--- a/src/plugins/wp/.gitignore
+++ b/src/plugins/wp/.gitignore
@@ -1,15 +1,12 @@
 /Makefile
 /.make-wp-coq
 /.make-wp-why3
-
-/Wp.mli
-/gui/Wp.mli
 /.WP_API_GENERATED
-/driver.ml
-/rformat.ml
-/script.ml
-/why3_xml.ml
-/ProverDetect.ml
+
+
+
+
+
 
 /tests/ptests_config
 /tests/*/result
@@ -21,4 +18,4 @@
 /doc/*/.make-icons
 /doc/*/.make-images
 
-/why3_api.ml
+