From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 18 Mar 2003 15:08:03 +0000 (+0000)
Subject: Ooopps. I forgot this one.
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f56fe02e31003418cf9dbe3a472fe665acbbf4f5;p=helm.git

Ooopps. I forgot this one.
---

diff --git a/helm/ocaml/tex_cic_textual_parser/.depend b/helm/ocaml/tex_cic_textual_parser/.depend
new file mode 100644
index 000000000..28a4689f8
--- /dev/null
+++ b/helm/ocaml/tex_cic_textual_parser/.depend
@@ -0,0 +1,11 @@
+texCicTextualParser.cmi: texCicTextualParser0.cmo 
+texCicTextualParserContext.cmi: texCicTextualParser.cmi \
+    texCicTextualParser0.cmo 
+texCicTextualParser.cmo: texCicTextualParser0.cmo texCicTextualParser.cmi 
+texCicTextualParser.cmx: texCicTextualParser0.cmx texCicTextualParser.cmi 
+texCicTextualParserContext.cmo: texCicTextualParser.cmi \
+    texCicTextualParser0.cmo texCicTextualParserContext.cmi 
+texCicTextualParserContext.cmx: texCicTextualParser.cmx \
+    texCicTextualParser0.cmx texCicTextualParserContext.cmi 
+texCicTextualLexer.cmo: texCicTextualParser.cmi 
+texCicTextualLexer.cmx: texCicTextualParser.cmx