src:  \
	hol.tcl load.tcl \
	current_theory_notify.sig \
	current_theory_notify.sml \
	current_theory_notify.ml \
	tcl_current_theory_notify.sig \
	tcl_current_theory_notify.sml \
	tcl_current_theory_notify.ml \
	tcl_theory_notify.sig \
	tcl_theory_notify.sml \
	tcl_theory_notify.ml \
	theory_notify.sig \
	theory_notify.sml \
	theory_notify.ml \
	tkhol.sig \
	tkhol.sml

%.sig: %.nw
	notangle -R$@ $< > $@.tmp
	addcopyright $@.tmp > $@
	@rm -f $@.tmp

%.sml: %.nw
	notangle -R$@ $< > $@.tmp
	addcopyright $@.tmp > $@
	@rm -f $@.tmp

%.ml: %.nw
	notangle -R$@ $< > $@.tmp
	addcopyright $@.tmp > $@
	@rm -f $@.tmp

%.tcl: %.nw
	notangle -R$@ -awk $< > $@.tmp
	addcopyright $@.tmp > $@
	@rm -f $@.tmp

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