Makefile
changeset 12441 0a6d562c9f18
parent 9027 2a1f5072b3f3
child 13432 4327f19a7eb5
--- a/Makefile	Wed Nov 04 17:20:43 2009 +0100
+++ b/Makefile	Wed Nov 04 17:25:34 2009 +0100
@@ -2,11 +2,11 @@
 # 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
+# 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
@@ -16,6 +16,4 @@
 include Make.proto
 
 makefile:
-	$(TOP)/rules/stmkmf	
-
-    
+	$(TOP)/rules/stmkmf