#1487: Documentation build should be tested as part of the automated build and test ---------------------+------------------------------------------------------ Reporter: hinder | Owner: hinder Type: defect | Status: new Priority: minor | Milestone: Component: Other | Version: development version Resolution: | Keywords: ---------------------+------------------------------------------------------
Comment (by eschnett):
The documentation should be built nightly and automatically, but should not be build on HPC production systems. These often don't have latex etc. installed, and it is also not necessary to build the documentation there.