diff -r abcb0402d5ba -r 582f4a766e19 Makefile.init
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Makefile.init	Tue Dec 22 18:24:23 2009 +0100
@@ -0,0 +1,19 @@
+#
+# DO NOT EDIT 
+#
+# make uses this file (Makefile) only, if there is no 
+# file named "makefile" (lower-case m) in the same directory.
+# My only task is to generate the real makefile and call make again.
+# Thereafter, I am no longer used and needed.
+#
+
+.PHONY: run
+
+run: makefile
+	$(MAKE) -f makefile
+
+#only needed for the definition of $(TOP)
+include Make.proto
+
+makefile:
+	$(TOP)/rules/stmkmf