Skip to content

Add old pages to index to avoid sphinx warnings

Andre Offringa requested to merge add-all-rsts-to-the-index into master

Sphinx would output a bunch of errors because the old pages are referenced but not included somewhere in the toc.

Merge request reports