Re: Update to docs root pages and navigation

On 11/24/20 12:30 PM, David G. Johnston wrote:
> On Tue, Nov 24, 2020 at 9:29 AM Jonathan S. Katz <jkatz(at)postgresql(dot)org
> <mailto:jkatz(at)postgresql(dot)org>> wrote:
>
> On 11/24/20 11:27 AM, Magnus Hagander wrote:
> > On Tue, Nov 24, 2020 at 5:15 PM Jonathan S. Katz
> <jkatz(at)postgresql(dot)org <mailto:jkatz(at)postgresql(dot)org>> wrote:
> >>
> >> On 11/24/20 4:55 AM, Daniel Gustafsson wrote:
> >>>> On 24 Nov 2020, at 10:45, Magnus Hagander <magnus(at)hagander(dot)net
> <mailto:magnus(at)hagander(dot)net>> wrote:
> >>>
> >>>> Or just "view the manual" and assume that anybody who actually
> cares
> >>>> about a specific version will go directly to the table, maybe
> with an
> >>>> ingress text of "To view the manual for an older version, pick your
> >>>> version in the table below" above the table?
> >>>
> >>> +1
> >>
> >> Sure, that works.
> >
> > Thanks, I've pushed this version.
> >
> > For the suggested changes to the frontpage, I suggest the attached.
> >
> > Or should it link directly to the /docs/current/ url?
>
> +1 for just /docs/ -- good for all users.
>
>
> If it doesn't go directly to /current I don't think including it is
> worthwhile - the main navigation gets you to the full page.
>
> All users benefit from reading the current version documentation even if
> they are running older versions.

Except that /docs/current/ does not contain links to the translations,
nor the PDFs. The docs root page also contains links to other materials
as well that serve as documentation.

Jonathan