projects / users / bernd / postgres.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4867d7f) | patch
doc: Improve PDF bookmarks
authorPeter Eisentraut <peter_e@gmx.net>
Tue, 15 Aug 2017 18:37:44 +0000 (14:37 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Tue, 15 Aug 2017 18:37:44 +0000 (14:37 -0400)
commit270fec9f0bc9082ed99f0c447d450bd8cd92be73
tree4ce8ee6e08b1ac7b6b437b7b626dec29e2a6c1catree
parent4867d7f62f7363909526d84d8fa1e9cf434cffc6commit | diff
doc: Improve PDF bookmarks

Also create PDF bookmarks/ToC entries for subsections of reference
pages.  This was a regression from the previous jadetex-based build.

Reported-by: Erik Rijkers <er@xs4all.nl>
doc/src/sgml/stylesheet-fo.xsl diff | blob | blame | history
Bernd Helmle's repository