src:  LoadLibraryBox.tcl TheoryTree.tcl TkTheoryViewer.tcl load.tcl

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

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

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

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

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