Merge pull request #18519 from mppf/make-docs-build-compiler-docs
Adjust make docs to try to build compiler docs
This PR adjusts
make docs so that it attempts to build the compiler
library documentation. This documentation has additional requirements
(cmake, doxygen) beyond the other documentation. However, we would like
make docs to build all of the documentation.
If the attempt to build the compiler library documentation fails but the
docs build was otherwise successful, a note is printed at the end of the
make docs output.
To get a complete docs build, one should install a recent enough doxygen
Reviewed by @lydia-duncan and @Maxrimus - thanks!
[x] full local testing