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=8d8b4152c91a869d63845592adbda87d5a9d877e;hpb=eacd20e429a5fa2d23c258bed7920cf194dc1882;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