1
0
mirror of https://github.com/postgres/postgres.git synced 2026-01-05 23:38:41 +03:00

Update to DocBook 4.5

This moves us to the latest minor version of DocBook 4.  It requires
no markup changes.
This commit is contained in:
Peter Eisentraut
2019-08-13 08:38:21 +02:00
parent 66bde49d96
commit 416c75cf38
6 changed files with 12 additions and 12 deletions

View File

@@ -2257,7 +2257,7 @@ fi
# Check for DocBook and tools
#
PGAC_PATH_XMLLINT
PGAC_CHECK_DOCBOOK(4.2)
PGAC_CHECK_DOCBOOK(4.5)
PGAC_PATH_PROGS(DBTOEPUB, dbtoepub)
PGAC_PATH_PROGS(XSLTPROC, xsltproc)
PGAC_PATH_PROGS(FOP, fop)