pgsql: doc: Check DocBook XML validity during the build

doc: Check DocBook XML validity during the build

Building the documentation with XSLT does not check the DTD, like a
DSSSL build would. One can often get away with having invalid XML, but
the stylesheets might then create incorrect output, as they are not
designed to handle that. Therefore, check the validity of the XML
against the DTD, using xmllint, during the build.

Add xmllint detection to configure, and add some documentation.

xmllint comes with libxml2, which is already in use, but it might be in
a separate package, such as libxml2-utils on Debian.

Reviewed-by: Fabien COELHO <coelho(at)cri(dot)ensmp(dot)fr>

Branch
------
master

Details
-------
http://git.postgresql.org/pg/commitdiff/5d93ce2d0c619ba1b408eb749715e7223e23f6ae

Modified Files
--------------
configure | 43 +++++++++++++++++++++++++++++++++++++++++++
configure.in | 1 +
doc/src/sgml/Makefile | 9 ++++++++-
doc/src/sgml/docguide.sgml | 16 +++++++++++++++-
src/Makefile.global.in | 1 +
5 files changed, 68 insertions(+), 2 deletions(-)