Closed php1ic closed 4 years ago
No need to do this, there is no real wasted time as we never actually attempt to build the docs, it just creates a make target.
By not being explicit for doxygen we also keep the cmake command as generic as possible.
For release builds, cmake looks for a doxygen install to build the documentation. It generally wont exist on the docker images that are created and we don't explicitly install so don't waste time and turn OFF the option during config.