gazebosim/docs

Publish release documentation

chapulina opened this issue · 2 comments

Desired behavior

Release documentation has been added on #140, but that's not being deployed to the public website yet because it hasn't been added to the index file. We could simply add it to the index, but that would end up being one more box on this page, which is starting to get bloated. I think we should support publishing pages that aren't linked from the main docs page.

Alternatives considered

We could just keep adding boxes to that docs page. We can also redesign the site a bit so we support pages of various "levels".

I got something working with these 3 PRs:

See instructions on the last PR.

@nkoenig , mind taking a look?