Re: Missing "Up" navigation link between parts and doc root?
Bruce Momjian <bruce@momjian.us>
From: Bruce Momjian <bruce@momjian.us>
To: Fabien COELHO <coelho@cri.ensmp.fr>
Cc: Peter Eisentraut <peter.eisentraut@2ndquadrant.com>, PostgreSQL Developers <pgsql-hackers@lists.postgresql.org>
Date: 2020-08-25T19:48:51Z
Lists: pgsql-hackers
On Sat, Jul 4, 2020 at 08:47:53AM +0200, Fabien COELHO wrote: > > Hello Peter, > > > The original stylesheets explicitly go out of their way to do it that > > way. We can easily fix that by removing that special case. See attached > > patch. > > > > That patch only fixes it for the header. To fix it for the footer as > > well, we'd first need to import the navfooter template to be able to > > customize it. > > Thanks for the patch, which applies cleanly, doc compiles, works for me with > w3m. > > > Not a big problem though. > > Nope, just mildly irritating for quite a long time:-) So I'd go for back > patching if it applies cleanly. Can we get Peter's patch for this applied soon? Thanks. Should I apply it? -- Bruce Momjian <bruce@momjian.us> https://momjian.us EnterpriseDB https://enterprisedb.com The usefulness of a cup is in its emptiness, Bruce Lee
Commits
-
doc: Don't hide the "Up" link when it is the same as "Home"
- 1a7c5b6f7b5a 10.15 landed
- a089aa122bfd 11.10 landed
- 6a8f6aee0cbe 12.5 landed
- e6bbe07deec9 13.0 landed
- cd153b54eb65 14.0 landed
-
Add Up/Home link to the top of the HTML doc output.
- b8691d838be0 9.2.0 cited