all:
	

.PHONY: tags
tags:
	etags *.sml *.sig *.fun

.PHONY: clean
clean:
	../../../bin/clean

	
