# The body of Makefile is "Makefile.sgi" .
default:
	make -f Makefile.sgi

remove:
	make -f Makefile.sgi remove