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