Re: minor doc tweak

Neil Conway <neilc@samurai.com> writes:
> In other words, to pick a page at random:
> http://www.postgresql.org/docs/8.0/interactive/functions.html
> has "Home -> Documentation -> Manuals -> PostgreSQL 8.0" at the top, but
> the "PostgreSQL 8.0" is not linked. For users who arrive in the midst of
> the documentation via Google, it would be nice to make it easier for
> them to get back to the ToC for the 8.0 docs without needing to go to
> "Manuals" first.

There is such a link at the bottom of the page ("Home") but I concur
it's silly to have the breadcrumb trail not be a functioning link...

            regards, tom lane