hol_objects_FILES=load.tcl delayed_load.tcl hol_objects.tcl
GOAL_FILES=GOAL.tcl
TERM_FILES=TERM.tcl
TYPE_FILES=TYPE.tcl
THM_FILES=THM.tcl
HolPPRichTextObjects_FILES=HolPPRichTextObjects.tcl
Goals_FILES=Goals.tcl
TheoremsFrame_FILES=TheoremsFrame.tcl
TheoremsTopLevel_FILES=TheoremsTopLevel.tcl

src:  	$(hol_objects_FILES) \
	$(GOAL_FILES) \
	$(TERM_FILES) \
	$(TYPE_FILES) \
	$(THM_FILES) \
	$(HolPPRichTextObjects_FILES) \
	$(Goals_FILES) \
	$(TheoremsFrame_FILES) \
	$(TheoremsTopLevel_FILES)

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

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

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

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

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

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

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

$(TheoremsFrame_FILES): TheoremsFrame.nw
	notangle -R$@ -awk TheoremsFrame.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
