see doc/index.html GENERAL/xmlplint
see also BUILDING
