1 files changed, 16 insertions, 27 deletions
diff --git a/.gitignore b/.gitignore
index 7efa76130..8a0c54f8f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -44,7 +44,6 @@ TAGS
 .pc
 bin/
 _build
-plugins/*/*_mod.ml
 myocamlbuild_config.ml
 config/Makefile
 config/coq_config.ml
@@ -98,6 +97,8 @@ doc/RecTutorial/RecTutorial.html
 doc/RecTutorial/RecTutorial.pdf
 doc/RecTutorial/RecTutorial.ps
 dev/doc/naming-conventions.pdf
+dev/ocamldoc/*.html
+dev/ocamldoc/*.css
 
 # .mll files
 
@@ -105,43 +106,26 @@ dev/ocamlweb-doc/lex.ml
 ide/coq_lex.ml
 ide/config_lexer.ml
 ide/utf8_convert.ml
-ide/highlight.ml
-plugins/dp/dp_zenon.ml
 tools/gallina_lexer.ml
 tools/coqwc.ml
 tools/coqdep_lexer.ml
+tools/ocamllibdep.ml
 tools/coqdoc/cpretty.ml
-lib/xml_lexer.ml
+ide/xml_lexer.ml
 
-# .ml4 files
+# .ml4 / .mlp files
 
 g_*.ml
 
 ide/project_file.ml
-lib/pp.ml
 parsing/compat.ml
-grammar/q_util.ml
-grammar/q_constr.ml
-grammar/q_coqast.ml
-grammar/tacextend.ml
-grammar/vernacextend.ml
-grammar/argextend.ml
-parsing/pcoq.ml
-parsing/lexer.ml
-plugins/setoid_ring/newring.ml
-plugins/field/field.ml
-plugins/nsatz/nsatz.ml
-tactics/tauto.ml
-tactics/eauto.ml
-tactics/hipattern.ml
-tactics/class_tactics.ml
-tactics/coretactics.ml
-tactics/rewrite.ml
-tactics/eqdecide.ml
-tactics/extratactics.ml
-tactics/extraargs.ml
-toplevel/whelp.ml
+parsing/cLexer.ml
+ltac/coretactics.ml
+ltac/extratactics.ml
+ltac/extraargs.ml
+ltac/profile_ltac_tactics.ml
 ide/coqide_main.ml
+plugins/ssrmatching/ssrmatching.ml
 
 # other auto-generated files
 
@@ -151,6 +135,10 @@ tools/tolink.ml
 theories/Numbers/Natural/BigN/NMake_gen.v
 ide/index_urls.txt
 lia.cache
+checker/names.ml
+checker/names.mli
+checker/esubst.ml
+checker/esubst.mli
 
 # mlis documentation
 
@@ -169,3 +157,4 @@ dev/myinclude
 /doc/refman/Reference-Manual.optidx
 /doc/refman/Reference-Manual.optind
 user-contrib
+.*.sw*