commit: propose-patch
darcs push --and-apply xwt@xwt.org:/var/www/org/ibex/core/
-reference: build/class/org/ibex/util/Doc.class doc/reference.xml
+reference: build/class/org/ibex/util/XML.class build/class/org/ibex/util/Doc.class doc/reference.xml
cd doc; java -cp ../build/class org.ibex.util.Doc < reference.xml > reference.tex
cd doc; pdflatex reference.tex
open doc/reference.pdf