interface_maps_FILES= \
	interface_maps.sig interface_maps.sml \
	interface_maps_registry.sig interface_maps_registry.sml
pp_FILES= pp_labels.sig pp_labels.sml pp_stringtables.sig pp_stringtables.sml pp.sig
pp_to_tcl_FILES= pp_to_tcl.sig pp_to_tcl.sml
holpp_FILES= holpp_branches.sig holpp_branches.sml
termkinds_FILES= termkinds.sig termkinds.sml


src:    $(interface_maps_FILES) \
	$(pp_to_tcl_FILES) \
	$(pp_FILES) \
	$(termkinds_FILES) \
	$(holpp_FILES)

$(interface_maps_FILES): interface_maps.nw
	notangle -R$@ interface_maps.nw > $@.tmp
	addcopyright $@.tmp > $@
	@rm -f $@.tmp

$(pp_to_tcl_FILES): pp_to_tcl.nw
	notangle -R$@ pp_to_tcl.nw > $@.tmp
	addcopyright $@.tmp > $@
	@rm -f $@.tmp

$(holpp_FILES): holpp.nw
	notangle -R$@ holpp.nw > $@.tmp
	addcopyright $@.tmp > $@
	@rm -f $@.tmp

$(termkinds_FILES): termkinds.nw
	notangle -R$@ termkinds.nw > $@.tmp
	addcopyright $@.tmp > $@
	@rm -f $@.tmp

$(pp_FILES): pp.nw
	notangle -R$@ pp.nw > $@.tmp
	addcopyright $@.tmp > $@
	@rm -f $@.tmp

clean:
	rm -f *.tcl tclIndex *.bak *.sml *.sig *.pp *.tmp


