On Thu, Aug 15, 2019 at 02:24:28PM +0200, Arturo Borrero Gonzalez wrote: > We don't need to check asciidoc output with xmllint because the generated XML > is generated by a tool, not by a human. Moreover, xmllint can cause > problems because it will try to download the DTD and that is problematic in > build systems with no network access. Applied, thanks.