CMake: use dedicated recipe for documentation generation