terminals/Makefile
changeset 109 9587e2df7029
parent 9 6c90659cf105
--- a/terminals/Makefile	Thu Feb 16 18:11:55 2012 +0000
+++ b/terminals/Makefile	Fri Mar 15 22:45:50 2013 +0000
@@ -15,5 +15,7 @@
 #only needed for the definition of $(TOP)
 include Make.proto
 
-makefile:
+makefile: mf
+
+mf:
 	$(TOP)/rules/stmkmf