hol_objects_FILES=load.tcl delayed_load.tcl hol_objects.tcl
TheoremsFrame_FILES=TheoremsFrame.tcl
buttonbar_FILES=buttonbar.tcl
TheoremsTopLevel_FILES=TheoremsTopLevel.tcl

src:  	$(hol_objects_FILES) \
	$(TheoremsFrame_FILES) \
	$(buttonbar_FILES) \
	$(TheoremsTopLevel_FILES)

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

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

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

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

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