From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 27 Nov 2001 13:26:56 +0000 (+0000)
Subject: .depend must be in the repository
X-Git-Tag: mlminidom_0_2_2~55
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7af438695ee9701fc7bdc0bf1dbca56126cb07a0;p=helm.git

.depend must be in the repository
---

diff --git a/helm/metadata/create2/mk_forward/.cvsignore b/helm/metadata/create2/mk_forward/.cvsignore
index 4f907d655..9aee29b36 100644
--- a/helm/metadata/create2/mk_forward/.cvsignore
+++ b/helm/metadata/create2/mk_forward/.cvsignore
@@ -1 +1 @@
-*.cmi *.cmo *.cmx .depend mk_forward mk_forward.opt configuration.ml
+*.cmi *.cmo *.cmx mk_forward mk_forward.opt
diff --git a/helm/metadata/create2/mk_forward/.depend b/helm/metadata/create2/mk_forward/.depend
new file mode 100644
index 000000000..e69de29bb
diff --git a/helm/metadata/create2/touch/.cvsignore b/helm/metadata/create2/touch/.cvsignore
index cf77f4b1d..10bc8bd91 100644
--- a/helm/metadata/create2/touch/.cvsignore
+++ b/helm/metadata/create2/touch/.cvsignore
@@ -1 +1 @@
-*.cmi *.cmo *.cmx .depend touch touch.opt configuration.ml
+*.cmi *.cmo *.cmx touch touch.opt
diff --git a/helm/metadata/create2/touch/.depend b/helm/metadata/create2/touch/.depend
new file mode 100644
index 000000000..e69de29bb