TheoremSaveBox_FILES=TheoremSaveBox.tcl
TkGoalProof_FILES=TkGoalProof.tcl InitialisePackage.tcl
src: $(TheoremSaveBox_FILES) $(TkGoalProof_FILES)


$(TheoremSaveBox_FILES): TheoremSaveBox.nw
	notangle -R$@ -awk TheoremSaveBox.nw > $@.tmp
	addcopyright $@.tmp > $@
	@rm -f $@.tmp

$(TkGoalProof_FILES): TkGoalProof.nw
	notangle -R$@ -awk TkGoalProof.nw > $@.tmp
	addcopyright $@.tmp > $@
	@rm -f $@.tmp

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