This should be our user manual, it is created using docbook and
can be compiled by either. Patches for additional sections are
more than welcome.

$ make

or

$ dblatex usermanual.tex