diff options
author | Peter Eisentraut | 2019-08-13 06:38:21 +0000 |
---|---|---|
committer | Peter Eisentraut | 2019-08-13 06:40:17 +0000 |
commit | 416c75cf38fbf58f4589fb27b520b64092a7ceff (patch) | |
tree | 7caf6771d5b6f2e896ecde82a9585ecca2388ad9 /configure.in | |
parent | 66bde49d96a9ddacc49dcbdf1b47b5bd6e31ead5 (diff) |
Update to DocBook 4.5
This moves us to the latest minor version of DocBook 4. It requires
no markup changes.
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in b/configure.in index dde3eec89fb..33edfd765ba 100644 --- a/configure.in +++ b/configure.in @@ -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) |