--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Makefile	Tue Dec 20 15:39:37 2005 +0100
@@ -0,0 +1,21 @@
+#
+# DO NOT EDIT 
+#
+# make uses this file (Makefile) only, if there is no 
+# file named "makefile" in the directory.
+# Our only task is to generate makefile and call make again
+#
+
+
+.PHONY: run
+
+run: makefile
+	$(MAKE) -f makefile
+
+#only needed for the definition of $(TOP)
+include Make.proto
+
+makefile:
+	$(TOP)/rules/stmkmf	
+
+