Skip to content

Bring local and CI doc generation in line

Guido Günther requested to merge docs into main

This makes it simple to test the doc build locally

Merge request reports