projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 76af974) | patch
doc: Don't hide the "Up" link when it is the same as "Home"
authorPeter Eisentraut <peter@eisentraut.org>
Sun, 6 Sep 2020 14:46:13 +0000 (16:46 +0200)
committerPeter Eisentraut <peter@eisentraut.org>
Sun, 6 Sep 2020 14:55:36 +0000 (16:55 +0200)
commitcd153b54eb6542d0e0b4addf1f10a1b34a328e17
treed27fa22ed5b82db1267eaad2c9dc8bf1498519f3tree
parent76af9744db168cfe96f45769b8ec68eb222d8fcfcommit | diff
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@cri.ensmp.fr>
Discussion: https://www.postgresql.org/message-id/flat/alpine.DEB.2.22.394.2006210914370.859381%40pseudo
doc/src/sgml/stylesheet.xsl diff | blob | blame | history
This is the main PostgreSQL git repository.