cd ./utp-relations/
docsml utp-rel
docsml utp-rel-axioms
docsml utp-rel-laws
xpp -d ../db/circus -f utp-rel.doc -i utp-rel.sml -i utp-rel-axioms.sml -i utp-rel-laws.sml
