src:  TkHolShell.tcl

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

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