Build process of the whole manual can be very slow. This script takes one XML file, creates xml-check.xml in the documentation root with the beginning and ending DocBook tags and parses this file with xmllint. Beginning tags are taken from manual.xml.in.
Detected errors are printed thus empty output means correct file.