Fix the implementation of the BUILD_DOC CMake option

The current implementation of the BUILD_DOC CMake option does not allow to control the build of the documentation. This MR fixes this implementation and includes some basic formatting of the CMake messages so they match the structure of the native CMake messages. Closes #11 (closed).

@cburgard I was wondering if you could consider taking a look at this proposal. It seems the CI can not run because I don't have access to the docker image in rootproject/root-ubuntu16, but so far I haven't detected any issue locally and the changes are minimal.

Hi! Thanks for your work. Can you try replacing the container name with rootproject/root to see if that works?

added 1 commit

• a8fa1792 - Replace docker image

Compare with previous version

added 1 commit

• 24d5af66 - Try removing sudo

Compare with previous version

resolved all threads

mentioned in commit 23d63e68

merged

resolved all threads