First effort in getting the toolchain for building the user documentation into the cmake framework.
Authored by: davidfange 2015-05-19
Parent: [r713]
Child: [r715]