CMake build should fail if documentation source files are missing
The following discussion from !48 (merged) should be addressed:
-
@smcv started a discussion: [A source file not existing] should probably be a build error (the build would fail if any other source file was missing)