cmake: restore documentation build

Authored by pino on May 18 2019, 7:26 AM.

Description

cmake: restore documentation build

Require the DocTools framework, and use the right cmake macro to
build&install the documentation.

Details

Committed
pinoMay 18 2019, 7:26 AM
Parents
R1045:3b7278ca1865: doc: switch to docbook 4.5
Branches
Unknown
Tags
Unknown