Don't add doc at all when doxygen not found

Otherwise doxygen becomes required despite the code to avoid that in
CMakeLists.txt.