git.postgresql.org Git - postgresql.git/commit

git projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4867d7f) | patch
doc: Improve PDF bookmarks
2017年8月15日 18:37:44 +0000 (14:37 -0400)
2017年8月15日 18:37:44 +0000 (14:37 -0400)
commit 270fec9f0bc9082ed99f0c447d450bd8cd92be73
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
This is the main PostgreSQL git repository.
RSS Atom

AltStyle によって変換されたページ (->オリジナル) /