Update of .gitignore (via a regexp g_*.ml)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15079 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 24 deletions

diff --git a/.gitignore b/.gitignore
index 0c8d63ae2..d2e2bcb5c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -111,48 +111,26 @@ ide/config_parser.mli
 
 # .ml4 files
 
+g_*.ml
+
 ide/project_file.ml
 lib/pp.ml
 lib/compat.ml
-parsing/g_xml.ml
-parsing/g_prim.ml
 parsing/q_util.ml
 parsing/tacextend.ml
 parsing/q_constr.ml
-parsing/g_vernac.ml
 parsing/pcoq.ml
-parsing/g_constr.ml
-parsing/g_ltac.ml
 parsing/vernacextend.ml
-parsing/g_tactic.ml
 parsing/argextend.ml
-parsing/g_decl_mode.ml
-parsing/q_coqast.ml
-parsing/g_proofs.ml
 parsing/lexer.ml
 plugins/xml/proofTree2Xml.ml
 plugins/xml/acic2Xml.ml
 plugins/xml/xml.ml
 plugins/xml/dumptree.ml
 plugins/xml/xmlentries.ml
-plugins/extraction/g_extraction.ml
-plugins/rtauto/g_rtauto.ml
-plugins/btauto/g_btauto.ml
-plugins/romega/g_romega.ml
 plugins/setoid_ring/newring.ml
-plugins/firstorder/g_ground.ml
-plugins/dp/g_dp.ml
-plugins/cc/g_congruence.ml
-plugins/ring/g_ring.ml
 plugins/field/field.ml
-plugins/funind/g_indfun.ml
-plugins/omega/g_omega.ml
-plugins/quote/g_quote.ml
 plugins/nsatz/nsatz.ml
-plugins/micromega/g_micromega.ml
-plugins/subtac/g_subtac.ml
-plugins/fourier/g_fourier.ml
-plugins/decl_mode/g_decl_mode.ml
 tactics/tauto.ml
 tactics/eauto.ml
 tactics/hipattern.ml