--- 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