From c713f3fc26d44c4c258cd9887b3d601c29c413b2 Mon Sep 17 00:00:00 2001
From: "Malcolm.Wallace@cs.york.ac.uk" <unknown>
Date: Tue, 20 Mar 2007 12:00:57 +0000
Subject: [PATCH] remove Makefile.inc (only affects nhc98)

---
 Makefile.inc |    7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 Makefile.inc

diff --git a/Makefile.inc b/Makefile.inc
deleted file mode 100644
index 91ac818..0000000
--- a/Makefile.inc
+++ /dev/null
@@ -1,7 +0,0 @@
-ifeq "" "${MKDIR}"
-MKDIR:=$(shell pwd)
-#MKDIR:=$(PWD)
-else
-MKDIR:=$(patsubst %/$(notdir ${MKDIR}),%, ${MKDIR})
-endif
-include ${MKDIR}/Makefile.inc
-- 
1.7.10.4