the upstream eclipse-titan package contains an extensive set of user
manuals in asciidoc format.  If enabled, those asciidoc files are compiled
into PDF manuals.

It would be great if building the documentation was enabled by the debian
package, and the resulting manuals could be made available for example
in a eclipse-titan-doc package.

This way, users would always have the matching documentation for the version
they have installed, without having to obtain it from third-party sources.