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