Merged requested to merge 565-generate-the-arm-during-ci-v9_12 into v9_12
This MR is the first step towards automatic ARM updates in GitLab Pages. Each CI pipeline will now generate the HTML version of the ARM and make it available for download as an artifact archive. Generated docs are not yet published automatically - this will be taken care of by a separate MR.
See #565 (closed)