mkdir db
pp_make_database -f -p zed ./db/circus
chmod +w ./db/circus.polydb
cd ./z/
docsml z-theorems
cd ../utp-relations/
docsml utp-rel
docsml utp-rel-axioms
docsml utp-rel-laws
cd ../utp-okay/
docsml utp-okay
docsml utp-okay-laws
cd ../utp-wtr/
docsml utp-wtr
docsml utp-wtr-laws
cd ../utp-designs/
docsml utp-des
docsml utp-des-axioms
docsml utp-des-laws
cd ../utp-reactive/
docsml utp-rea
docsml utp-rea-axioms
docsml utp-rea-laws
cd ../utp-csp/
docsml utp-csp
docsml utp-csp-axioms
docsml utp-csp-laws
cd ../utp-circus/
docsml utp-circus
cd ..
xpp -d ./db/circus -f ./utp-circus/utp-circus.doc -i ./z/z-theorems.sml -i ./utp-relations/utp-rel.sml -i ./utp-relations/utp-rel-axioms.sml -i ./utp-relations/utp-rel-laws.sml -i ./utp-okay/utp-okay.sml -i ./utp-okay/utp-okay-laws.sml -i ./utp-wtr/utp-wtr.sml -i ./utp-wtr/utp-wtr-laws.sml -i ./utp-designs/utp-des.sml -i ./utp-designs/utp-des-axioms.sml -i ./utp-designs/utp-des-laws.sml -i ./utp-reactive/utp-rea.sml -i ./utp-reactive/utp-rea-axioms.sml -i ./utp-reactive/utp-rea-laws.sml -i ./utp-csp/utp-csp.sml -i ./utp-csp/utp-csp-axioms.sml -i ./utp-csp/utp-csp-laws.sml -i ./utp-circus/utp-circus.sml
