
* Generate the documentation in a separate package.
At the moment, generation of the user manual with docbook fails.
