Documentation table of contents (and docs.scala-lang) is missing various doc pages

[smarter]

For example the recently added https://github.com/lampepfl/dotty/blob/main/docs/_docs/usage/coverage.md can't be found on http://dotty.epfl.ch/docs/usage/, but looking into https://github.com/lampepfl/dotty/tree/main/docs/_docs/usage there's a bunch of other pages which are missing (they're probably mostly obsolete and should be deleted).

It seems like entries need to be manually added to sidebar.yml, I wonder if this could be automated?

I'm also not sure what needs to be done for https://github.com/lampepfl/dotty/blob/main/docs/_docs/usage/coverage.md to appear on https://docs.scala-lang.org/.

[pikinier20]

Currently, we've got sync mechanism for reference section. usage section is still not synchronized. As for the sidebar.yaml, I think we can automate it a bit by just adding directory to the YAML. It should load all children of this directory to the documentation

[ckipp01]

I wanted to follow-up on this. I see that the coverage page is indeed listed at https://dotty.epfl.ch/docs/internals/coverage.html now.

I'm also not sure what needs to be done for https://github.com/lampepfl/dotty/blob/main/docs/_docs/usage/coverage.md to appear on https://docs.scala-lang.org/.

Since this is part of the "internals" docs, do we really want it to be there? My understanding was that these types of docs should remain on the dotty site for now? If so I'm tempted to close this. Any thoughts @smarter?