As in https://github.com/libcheck/check/pull/212, make it optional to generate documentation in CMake build so it is not necessary to always have TeX installed.
As in #212, make it optional to generate documentation in CMake build so it is not necessary to always have TeX installed.