From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 21 Dec 2005 14:35:14 +0000 (+0000)
Subject: removed old Makefile
X-Git-Tag: make_still_working~7973
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2d6b0831d5ebc9572db2fa54a13ab2e8cc9cbeb3;p=helm.git

removed old Makefile
---

diff --git a/helm/ocaml/grafite2/Makefile b/helm/ocaml/grafite2/Makefile
deleted file mode 100644
index 7fac4b296..000000000
--- a/helm/ocaml/grafite2/Makefile
+++ /dev/null
@@ -1,12 +0,0 @@
-PACKAGE = grafite2
-PREDICATES =
-
-INTERFACE_FILES = \
-	grafiteTypes.mli \
-	grafiteSync.mli \
-	grafiteMisc.mli \
-	grafiteEngine.mli \
-	$(NULL)
-IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
-
-include ../Makefile.common