Merge pull request #162 from jtojnar/check-correct-docbook

build: Check correct DocBook version
This commit is contained in:
Christian Brauner 2019-04-30 20:39:22 +02:00 committed by GitHub
commit ce2941ca0d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -334,8 +334,8 @@ if test "$enable_man" = "yes"; then
fi
dnl check for DocBook DTD and stylesheets in the local catalog.
JH_CHECK_XML_CATALOG([-//OASIS//DTD DocBook XML V4.1.2//EN],
[DocBook XML DTD V4.1.2], [], enable_man=no)
JH_CHECK_XML_CATALOG([-//OASIS//DTD DocBook XML V4.5//EN],
[DocBook XML DTD V4.5], [], enable_man=no)
JH_CHECK_XML_CATALOG([http://docbook.sourceforge.net/release/xsl/current/manpages/docbook.xsl],
[DocBook XSL Stylesheets >= 1.70.1], [], enable_man=no)
fi