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=9f0ad5e688338a505f083538c5f6e169e7f0e5d6;hp=8d8b4152c91a869d63845592adbda87d5a9d877e;hpb=fbfd564b0c9ff518be0c898fad7e5ef2071b2e45;p=helm.git

diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore
index 8d8b4152c..68ade6c12 100644
--- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore
+++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore
@@ -1,5 +1,6 @@
 META
 Makefile
+Makefile.in
 config.cache
 config.log
 config.status
@@ -19,3 +20,4 @@ i_gdome_xslt.cmo
 i_gdome_xslt.cmx
 i_gdome_xslt.o
 ml_gdome_xslt.o
+.deps