Page MenuHomeSoftware Heritage

Make the toctree match the 'Getting started' and 'Architecture' sections of the main page
ClosedPublic

Authored by vlorentz on Mar 17 2021, 4:44 PM.

Details

Summary

We have two hierarchies and they didn't match before this commit.

This also keeps the root toctree shorter (2 items instead of 4)

Diff Detail

Repository
rDDOC Development documentation
Lint
No Linters Available
Unit
No Unit Test Coverage
Build Status
Buildable 19970
Build 31000: arc lint + arc unit