proofs_FILES= bwdproofs.sig bwdproofs.sml
goaltrees_FILES= gtrees.sig gtrees.sml goaltrees.sig goaltrees.sml
scripts_FILES= \
	script_fragments.sig script_fragments.sml \
	theory_scripts.sig \
	theory_scripts.sml


src:    $(goaltrees_FILES) \
	$(scripts_FILES) \
	$(proofs_FILES)

$(proofs_FILES): proofs.nw
	notangle -R$@ proofs.nw > $@.tmp
	addcopyright $@.tmp > $@
	@rm -f $@.tmp

$(goaltrees_FILES): goaltrees.nw
	notangle -R$@ goaltrees.nw > $@.tmp
	addcopyright $@.tmp > $@
	@rm -f $@.tmp

$(scripts_FILES): scripts.nw
	notangle -R$@ scripts.nw > $@.tmp
	addcopyright $@.tmp > $@
	@rm -f $@.tmp

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


