At the moment the build just continues on failed documentation builds in the Conda action. That's not very useful and we might as well skip the documentation build. We should check it though to make sure the docs also build on macOS.
This PR makes the action fail on error and splits the documentation build into HTML (make doc) and PDF (make docpdf) outputs.
At the moment the build just continues on failed documentation builds in the Conda action. That's not very useful and we might as well skip the documentation build. We should check it though to make sure the docs also build on macOS.
This PR makes the action fail on error and splits the documentation build into HTML (
make doc) and PDF (make docpdf) outputs.