opcodes.sml: opcodes.awk opcodes-table
	nawk -f opcodes.awk <opcodes-table > opcodes.sml
mipsdecode.sml: opcodes.awk opcodes-table
	nawk -f opcodes.awk <opcodes-table > opcodes.sml
