gitignore

src/plugins/e-acsl/.gitignore

@@ -48,31 +48,15 @@
 /doc/userman/*.idx
 /doc/userman/*.log
 /doc/userman/*.lof
+/doc/userman/eacslversion.tex
 /tests/*.cm*
 /tests/*.annot
 /tests/*_DEP
 /tests/test_config
 /tests/e-acsl-runtime/*.cm*
-/tests/e-acsl-runtime/*.annot
-/tests/e-acsl-runtime/*_DEP
-/tests/e-acsl-runtime/oracle/*.cm*
-/tests/e-acsl-runtime/oracle/*.annot
-/tests/e-acsl-runtime/oracle/*_DEP
-/tests/e-acsl-runtime/result/*.cm*
-/tests/e-acsl-runtime/result/*.annot
-/tests/e-acsl-runtime/result/*_DEP
 /tests/e-acsl-runtime/result/*.log
 /tests/e-acsl-runtime/result/gen_*.c
 /tests/e-acsl-runtime/result/gen_*.out
-/tests/e-acsl-reject/*.cm*
-/tests/e-acsl-reject/*.annot
-/tests/e-acsl-reject/*_DEP
-/tests/e-acsl-reject/oracle/*.cm*
-/tests/e-acsl-reject/oracle/*.annot
-/tests/e-acsl-reject/oracle/*_DEP
-/tests/e-acsl-reject/result/*.cm*
-/tests/e-acsl-reject/result/*.annot
-/tests/e-acsl-reject/result/*_DEP
 /tests/e-acsl-reject/result/*.log
 /tests/bts/result/*
 /tests/check/obj/*
@@ -81,3 +65,4 @@ tests/ptests_config
 META.frama-c-e_acsl
 .merlin
 Makefile.plugin.generated
+E_ACSL.check_mli_exists