X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fgdome_xslt%2Focaml%2Fgdome_xslt%2F.cvsignore;h=68ade6c1282d3a6a2e9644ea4020f90642009fd5;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=5b31626e47344de706bd678cbbfe2b1084e63e1d;hpb=0474bcec6d3bb8972eec0964a34872712122f340;p=helm.git

diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore
index 5b31626e4..68ade6c12 100644
--- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore
+++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore
@@ -1,14 +1,15 @@
 META
 Makefile
+Makefile.in
 config.cache
 config.log
 config.status
 configure
-gdome_xslt.cma
+gdome2-xslt.cma
 gdome_xslt.cmi
 gdome_xslt.cmo
 gdome_xslt.cmx
-gdome_xslt.cmxa
+gdome2-xslt.cmxa
 gdome_xslt.o
 gdome_xslt_init.cmi
 gdome_xslt_init.cmo
@@ -19,3 +20,4 @@ i_gdome_xslt.cmo
 i_gdome_xslt.cmx
 i_gdome_xslt.o
 ml_gdome_xslt.o
+.deps