]> matita.cs.unibo.it Git - helm.git/commitdiff
- Some .cvsignore were missing
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Mar 2003 14:50:21 +0000 (14:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Mar 2003 14:50:21 +0000 (14:50 +0000)
- Backtracking on the few glib2 dependencies

helm/DEVEL/mathml_editor/.cvsignore
helm/DEVEL/mathml_editor/ocaml/.cvsignore [new file with mode: 0644]
helm/DEVEL/mathml_editor/ocaml/.depend [new file with mode: 0644]
helm/DEVEL/mathml_editor/ocaml/Makefile.am

index 42bb76f78261043b4316a2d356505d80834536ca..aa01254b17a82e75860a27b541e39ce2eee247f7 100644 (file)
@@ -13,3 +13,4 @@ result.xml
 stamp-h
 stamp-h.in
 t1lib.log
+editex.pc
diff --git a/helm/DEVEL/mathml_editor/ocaml/.cvsignore b/helm/DEVEL/mathml_editor/ocaml/.cvsignore
new file mode 100644 (file)
index 0000000..cf4c41a
--- /dev/null
@@ -0,0 +1 @@
+META Makefile Makefile.in *.cm[ioax] *.cmxa *.lo *.la .deps .libs
diff --git a/helm/DEVEL/mathml_editor/ocaml/.depend b/helm/DEVEL/mathml_editor/ocaml/.depend
new file mode 100644 (file)
index 0000000..6da802c
--- /dev/null
@@ -0,0 +1,2 @@
+mathml_editor.cmo: i_mathml_editor.cmo 
+mathml_editor.cmx: i_mathml_editor.cmx 
index a85b99978ee2ec6c0bf92316bb2bddeda7de3222..624f1644f31889e24c271d3bda78d6fc1f46b2c4 100644 (file)
@@ -91,7 +91,7 @@ i_mathml_editor.cmo: i_mathml_editor.ml
 i_mathml_editor.cmx: i_mathml_editor.ml
        $(OCAMLOPT) -c $<
 
-depend: *.ml *.mli
-       $(OCAMLDEP) *.ml *.mli >.depend
+depend: *.ml
+       $(OCAMLDEP) *.ml >.depend
 include .depend