git.postgresql.org Git - postgresql.git/commit
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>
This is the main PostgreSQL git repository.
RSS
Atom