From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 15 Nov 2001 12:36:42 +0000 (+0000)
Subject: Now automatically generated from Makefile.in
X-Git-Tag: mlminidom_0_2_2~80
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c904de9aeb21cbc44258988f04a9419ddef024a4;p=helm.git

Now automatically generated from Makefile.in
---

diff --git a/helm/DEVEL/lablgtkmathview/test/Makefile b/helm/DEVEL/lablgtkmathview/test/Makefile
deleted file mode 100644
index 32f932145..000000000
--- a/helm/DEVEL/lablgtkmathview/test/Makefile
+++ /dev/null
@@ -1,18 +0,0 @@
-# Generated automatically from Makefile.in by configure.
-PACKAGE = lablgtkmathview
-MLFLAGS =
-OCAMLC = ocamlfind ocamlc $(MLFLAGS)
-OCAMLOPT = ocamlfind ocamlopt $(MLFLAGS)
-TMPDIR = .test
-
-all: test
-opt: test.opt
-
-test: test.ml
-	$(OCAMLC) -package "$(PACKAGE)" -linkpkg -predicates "" -o $@ test.ml
-
-test.opt: test.ml
-	$(OCAMLOPT) -package "$(PACKAGE)" -linkpkg -predicates "" -o $@ test.ml
-
-clean:
-	rm -f *.cm[iox] *.o test test.opt t1lib.log test.ps