From: Pietro Cerutti Date: Thu, 8 Feb 2018 12:04:20 +0000 (+0000) Subject: Alternative way to check for DocBook DTD X-Git-Tag: neomutt-20180223~12 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=4107117a5543712892e25380f6e8856c8ccd5e9f;p=neomutt Alternative way to check for DocBook DTD --- diff --git a/auto.def b/auto.def index 1b9344240..109489355 100644 --- a/auto.def +++ b/auto.def @@ -324,20 +324,8 @@ if {[get-define want-doc]} { } msg-checking "Checking for DocBook DTDs..." - - writefile xslt_test.xsl { - - - } - - writefile xslt_test.xml { - - } - - set err [catch {exec xsltproc --nonet xslt_test.xsl xslt_test.xml}] - file delete -- xslt_test.xsl xslt_test.xml - if {$err} { + set res [exec xmlcatalog --shell << {public "-//OASIS//DTD DocBook XML V4.2//EN"}] + if {[string match {> No entry*} $res]} { msg-result "no" user-error "Install DocBook DTDs or './configure --disable-doc'" }