src:  \
	lib.sml \
	databases.sml \
	current_theory_notify.sig \
	current_theory_notify.sml \
	theory_notify.sig \
	theory_notify.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
