doc: Don't hide the "Up" link when it is the same as "Home"
The original stylesheets seemed to think this was a good idea, but our
users find it confusing and unhelpful, so undo that logic.
Reported-by: Fabien COELHO <coelho(at)cri(dot)ensmp(dot)fr>
Discussion: https://www.postgresql.org/message-id/flat/alpine.DEB.2.22.394.2006210914370.859381%40pseudo
Branch
------
REL_13_STABLE
Details
-------
https://git.postgresql.org/pg/commitdiff/e6bbe07deec9824eb62fbbf38c4bfe7aaf674d37
Modified Files
--------------
doc/src/sgml/stylesheet.xsl | 163 ++++++++++++++++++++++++++++++++++++++++++--
1 file changed, 159 insertions(+), 4 deletions(-)