From 2d6b0831d5ebc9572db2fa54a13ab2e8cc9cbeb3 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 21 Dec 2005 14:35:14 +0000
Subject: [PATCH] removed old Makefile

---
 helm/ocaml/grafite2/Makefile | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 helm/ocaml/grafite2/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
-- 
2.39.2