On a standard Ubuntu 14.10 system, you will need to install some
additional packages to build the manual.  See the "Building from source"
section of the manual for that list.

The [../developer/developer-manual.html](Developer Manual) can be
read directly, without any need to build it.
