From a089aa122bfdadd28b5e309e987b1adfff952768 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Sun, 6 Sep 2020 16:46:13 +0200 Subject: [PATCH] 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 Discussion: https://www.postgresql.org/message-id/flat/alpine.DEB.2.22.394.2006210914370.859381%40pseudo --- doc/src/sgml/stylesheet.xsl | 163 +++++++++++++++++++++++++++++++++++- 1 file changed, 159 insertions(+), 4 deletions(-) diff --git a/doc/src/sgml/stylesheet.xsl b/doc/src/sgml/stylesheet.xsl index 22dd3b93c6..dafd559cd7 100644 --- a/doc/src/sgml/stylesheet.xsl +++ b/doc/src/sgml/stylesheet.xsl @@ -46,7 +46,6 @@ Customization of header @@ -84,8 +83,7 @@ Customization of header - + @@ -106,7 +104,6 @@ Customization of header @@ -165,4 +162,162 @@ Customization of header + + + + + + + + + + + + + + + + + + +