From: Evan Hunt <each@isc.org>
Date: Wed, 11 Jul 2018 00:49:40 +0000 (-0400)
Subject: Merge branch '378-run-xmllint-on-xml-and-docbook-in-precheck' into 'master'
X-Git-Tag: v9.13.3~119
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f83a64072bb69ef0d798841074fffa76a4c0d6cf;p=thirdparty%2Fbind9.git

Merge branch '378-run-xmllint-on-xml-and-docbook-in-precheck' into 'master'

Check correctness of *.xml, *.docbook, and *.html during precheck

Closes #378
---

f83a64072bb69ef0d798841074fffa76a4c0d6cf