Provide separate make targets for sphinx and doxygen
Currently, if I understood correctly, make docs
builds both sphinx and doxygen based docs, provided the programs sphinx
and doxygen
are available.
Doxygen, however, is poor in caching; it reruns again and again, taking quite some time, while I only changed things in the doc/sphinx directory.
I suggest:
- provide CMake options to support, or not, Sphinx or/and Doxygen
- provide separate Make targets, available only if the corresponding CMake option is set