From 4ee4c1b49f4c422a6226e537c23bef0c98047e29 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Thu, 27 Aug 2020 08:46:43 +0200
Subject: [PATCH] Some cleanup of the gitignores

---
 src/plugins/aorai/.gitignore  | 14 +-------------
 src/plugins/qed/.gitignore    |  1 -
 src/plugins/server/.gitignore |  1 -
 src/plugins/wp/.gitignore     | 15 ++++++---------
 4 files changed, 7 insertions(+), 24 deletions(-)

diff --git a/src/plugins/aorai/.gitignore b/src/plugins/aorai/.gitignore
index 4a6e0c9805a..b16c5f3d525 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 549dd6d17c4..41e8d77bed9 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 f1d2f8cc5ec..b0b245fa88d 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 817f9eb8dee..cef13bf8888 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
+
-- 
GitLab