Z_FILES=Z.sig Z.sml
preterm_ops_FILES=preterm_ops.sig preterm_ops.sml
Zpreterms_FILES=Zpreterms.sig Zpreterms.sml

src:  	$(Z_FILES) \
	$(preterm_ops_FILES) \
	$(Zpreterms_FILES) \
	$(ZControls_FILES)

$(Z_FILES): Z.nw
	notangle -R$@ -awk Z.nw > $@.tmp
	addcopyright $@.tmp > $@
	@rm -f $@.tmp

$(preterm_ops_FILES): preterm_ops.nw
	notangle -R$@ -awk preterm_ops.nw > $@.tmp
	addcopyright $@.tmp > $@
	@rm -f $@.tmp

$(Zpreterms_FILES): Zpreterms.nw
	notangle -R$@ -awk Zpreterms.nw > $@.tmp
	addcopyright $@.tmp > $@
	@rm -f $@.tmp

clean:
	rm -f *.bak *.sml *.sig
