ProofsPP_objects_FILES=load.tcl PBWDOP.tcl BWDOP.tcl ProofsPP_objects.tcl

src:  	$(ProofsPP_objects_FILES)

$(ProofsPP_objects_FILES): ProofsPP_objects.nw
	notangle -R$@ -awk ProofsPP_objects.nw > $@.tmp
	mv $@.tmp $@

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