From fd256cfd4bc59daa2520083eca7ee3ca83991bfd Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Fri, 3 Jul 2020 10:56:48 +0200 Subject: [PATCH] doc: Don't hide the "Up" link when it is the same as "Home" 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 | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/doc/src/sgml/stylesheet.xsl b/doc/src/sgml/stylesheet.xsl index aeaa1e7c10..af0ac129e9 100644 --- a/doc/src/sgml/stylesheet.xsl +++ b/doc/src/sgml/stylesheet.xsl @@ -57,7 +57,6 @@ Customization of header @@ -95,8 +94,7 @@ Customization of header - + @@ -117,7 +115,6 @@ Customization of header -- 2.27.0