Skip to content

Make docs titles clickable (for links)

Joschka Birk requested to merge birk-update-docs into master


This MR introduces the following changes

  • adding links to the headings in the docs
  • adding minimal needs to jobs in prepare_docs stage of our pipeline, to make them start right away after triggering the pipeline. I think if not specified, the jobs wait until all previous stages are completed


If you hover with your mouse over the area right next to a heading, a hashtag will appear. If you click it, the url in your browser will change to a link right to that heading. image

Edited by Joschka Birk

Merge request reports