remove Makefile.inc (only affects nhc98)
authorMalcolm.Wallace@cs.york.ac.uk <unknown>
Tue, 20 Mar 2007 12:00:57 +0000 (12:00 +0000)
committerMalcolm.Wallace@cs.york.ac.uk <unknown>
Tue, 20 Mar 2007 12:00:57 +0000 (12:00 +0000)
Makefile.inc [deleted file]

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