Page MenuHomeSoftware Heritage

doc: drop unneeded "Software Heritage" from page titles
Closed, ResolvedPublic

Description

in the navigation bar of the devel documentation most top-level links are uniform, except the following:

  • Software Heritage — Archive ChangeLog
  • Software Heritage Journal — Specifications

We should rename them to something like:

  • Archive ChangeLog
  • Journal specification