Doxygen is required to build documentation #218
Description
Doxygen is required, but we don't get a warning that doxygen is missing when building the documentation.
{{ message }}
Doxygen is required, but we don't get a warning that doxygen is missing when building the documentation.