.cvsignore and .depend forgot

diff --git a/helm/ocaml/cic/.cvsignore b/helm/ocaml/cic/.cvsignore
new file mode 100644 (file)
index 0000000..6e857ea
--- /dev/null
+++ b/helm/ocaml/cic/.cvsignore
@@ -0,0 +1 @@
+*.cm[iox]

diff --git a/helm/ocaml/cic/.depend b/helm/ocaml/cic/.depend
new file mode 100644 (file)
index 0000000..99591c9
--- /dev/null
+++ b/helm/ocaml/cic/.depend
@@ -0,0 +1,11 @@
+deannotate.cmo: cic.cmo 
+deannotate.cmx: cic.cmx 
+cicParser3.cmi: cic.cmo 
+cicParser3.cmo: cic.cmo cicParser3.cmi 
+cicParser3.cmx: cic.cmx cicParser3.cmi 
+cicParser2.cmi: cic.cmo cicParser3.cmi 
+cicParser2.cmo: cic.cmo cicParser3.cmi cicParser2.cmi 
+cicParser2.cmx: cic.cmx cicParser3.cmx cicParser2.cmi 
+cicParser.cmi: cic.cmo 
+cicParser.cmo: cicParser2.cmi cicParser3.cmi cicParser.cmi 
+cicParser.cmx: cicParser2.cmx cicParser3.cmx cicParser.cmi 

diff --git a/helm/ocaml/cic_annotations/.cvsignore b/helm/ocaml/cic_annotations/.cvsignore
new file mode 100644 (file)
index 0000000..6e857ea
--- /dev/null
+++ b/helm/ocaml/cic_annotations/.cvsignore
@@ -0,0 +1 @@
+*.cm[iox]

diff --git a/helm/ocaml/cic_annotations/.depend b/helm/ocaml/cic_annotations/.depend
new file mode 100644 (file)
index 0000000..ac3b26b
--- /dev/null
+++ b/helm/ocaml/cic_annotations/.depend
@@ -0,0 +1,2 @@
+cicAnnotationParser.cmo: cicAnnotationParser2.cmo 
+cicAnnotationParser.cmx: cicAnnotationParser2.cmx 

diff --git a/helm/ocaml/cic_annotations_cache/.cvsignore b/helm/ocaml/cic_annotations_cache/.cvsignore
new file mode 100644 (file)
index 0000000..6e857ea
--- /dev/null
+++ b/helm/ocaml/cic_annotations_cache/.cvsignore
@@ -0,0 +1 @@
+*.cm[iox]

diff --git a/helm/ocaml/cic_annotations_cache/.depend b/helm/ocaml/cic_annotations_cache/.depend
new file mode 100644 (file)
index 0000000..06775e1
--- /dev/null
+++ b/helm/ocaml/cic_annotations_cache/.depend
@@ -0,0 +1,2 @@
+cicCache.cmo: cicCache.cmi 
+cicCache.cmx: cicCache.cmi 

diff --git a/helm/ocaml/cic_cache/.cvsignore b/helm/ocaml/cic_cache/.cvsignore
new file mode 100644 (file)
index 0000000..6e857ea
--- /dev/null
+++ b/helm/ocaml/cic_cache/.cvsignore
@@ -0,0 +1 @@
+*.cm[iox]

diff --git a/helm/ocaml/cic_cache/.depend b/helm/ocaml/cic_cache/.depend
new file mode 100644 (file)
index 0000000..06775e1
--- /dev/null
+++ b/helm/ocaml/cic_cache/.depend
@@ -0,0 +1,2 @@
+cicCache.cmo: cicCache.cmi 
+cicCache.cmx: cicCache.cmi 

diff --git a/helm/ocaml/cic_proof_checking/.cvsignore b/helm/ocaml/cic_proof_checking/.cvsignore
new file mode 100644 (file)
index 0000000..6e857ea
--- /dev/null
+++ b/helm/ocaml/cic_proof_checking/.cvsignore
@@ -0,0 +1 @@
+*.cm[iox]

diff --git a/helm/ocaml/cic_proof_checking/.depend b/helm/ocaml/cic_proof_checking/.depend
new file mode 100644 (file)
index 0000000..da66c15
--- /dev/null
+++ b/helm/ocaml/cic_proof_checking/.depend
@@ -0,0 +1,18 @@
+cicPp.cmo: cicEnvironment.cmi cicPp.cmi 
+cicPp.cmx: cicEnvironment.cmx cicPp.cmi 
+cicEnvironment.cmo: cicSubstitution.cmi cicEnvironment.cmi 
+cicEnvironment.cmx: cicSubstitution.cmx cicEnvironment.cmi 
+cicSubstitution.cmo: cicSubstitution.cmi 
+cicSubstitution.cmx: cicSubstitution.cmi 
+cicReduction.cmo: cicEnvironment.cmi cicPp.cmi cicSubstitution.cmi \
+    cicReduction.cmi 
+cicReduction.cmx: cicEnvironment.cmx cicPp.cmx cicSubstitution.cmx \
+    cicReduction.cmi 
+cicTypeChecker.cmo: cicEnvironment.cmi cicPp.cmi cicReduction.cmi \
+    cicSubstitution.cmi cicTypeChecker.cmi 
+cicTypeChecker.cmx: cicEnvironment.cmx cicPp.cmx cicReduction.cmx \
+    cicSubstitution.cmx cicTypeChecker.cmi 
+cicCooking.cmo: cicEnvironment.cmi cicCooking.cmi 
+cicCooking.cmx: cicEnvironment.cmx cicCooking.cmi 
+cicMiniReduction.cmo: cicSubstitution.cmi cicMiniReduction.cmi 
+cicMiniReduction.cmx: cicSubstitution.cmx cicMiniReduction.cmi 

diff --git a/helm/ocaml/getter/.cvsignore b/helm/ocaml/getter/.cvsignore
new file mode 100644 (file)
index 0000000..6e857ea
--- /dev/null
+++ b/helm/ocaml/getter/.cvsignore
@@ -0,0 +1 @@
+*.cm[iox]

diff --git a/helm/ocaml/getter/.depend b/helm/ocaml/getter/.depend
new file mode 100644 (file)
index 0000000..1b31567
--- /dev/null
+++ b/helm/ocaml/getter/.depend
@@ -0,0 +1,4 @@
+clientHTTP.cmo: configuration.cmo clientHTTP.cmi 
+clientHTTP.cmx: configuration.cmx clientHTTP.cmi 
+getter.cmo: clientHTTP.cmi configuration.cmo getter.cmi 
+getter.cmx: clientHTTP.cmx configuration.cmx getter.cmi 

diff --git a/helm/ocaml/pxp/.cvsignore b/helm/ocaml/pxp/.cvsignore
new file mode 100644 (file)
index 0000000..6e857ea
--- /dev/null
+++ b/helm/ocaml/pxp/.cvsignore
@@ -0,0 +1 @@
+*.cm[iox]

diff --git a/helm/ocaml/pxp/.depend b/helm/ocaml/pxp/.depend
new file mode 100644 (file)
index 0000000..5ad7c60
--- /dev/null
+++ b/helm/ocaml/pxp/.depend
@@ -0,0 +1,2 @@
+pxpUriResolver.cmo: csc_pxp_reader.cmo 
+pxpUriResolver.cmx: csc_pxp_reader.cmx 

diff --git a/helm/ocaml/urimanager/.cvsignore b/helm/ocaml/urimanager/.cvsignore
new file mode 100644 (file)
index 0000000..6e857ea
--- /dev/null
+++ b/helm/ocaml/urimanager/.cvsignore
@@ -0,0 +1 @@
+*.cm[iox]

diff --git a/helm/ocaml/urimanager/.depend b/helm/ocaml/urimanager/.depend
new file mode 100644 (file)
index 0000000..4821484
--- /dev/null
+++ b/helm/ocaml/urimanager/.depend
@@ -0,0 +1,2 @@
+uriManager.cmo: uriManager.cmi 
+uriManager.cmx: uriManager.cmi 

diff --git a/helm/ocaml/xml/.cvsignore b/helm/ocaml/xml/.cvsignore
new file mode 100644 (file)
index 0000000..6e857ea
--- /dev/null
+++ b/helm/ocaml/xml/.cvsignore
@@ -0,0 +1 @@
+*.cm[iox]

diff --git a/helm/ocaml/xml/.depend b/helm/ocaml/xml/.depend
new file mode 100644 (file)
index 0000000..bc6941b
--- /dev/null
+++ b/helm/ocaml/xml/.depend
@@ -0,0 +1,2 @@
+xml.cmo: xml.cmi 
+xml.cmx: xml.cmi