diff options
| author | Daniel James <daniel@calamity.org.uk> | 2017-10-03 13:13:09 +0100 |
|---|---|---|
| committer | Daniel James <daniel@calamity.org.uk> | 2017-10-20 19:27:49 +0100 |
| commit | ad0e2990fe27bde7d9d017b4a079788ac9b89675 (patch) | |
| tree | dfe82e25c8e3a041710cba094ee4c503e671e58e /rst.css | |
| parent | 1216d222836c7f60095092ddf6b0f1899ff2da19 (diff) | |
| download | boost-ad0e2990fe27bde7d9d017b4a079788ac9b89675.tar.gz | |
Remove --valid flag from xmllint
The existing call to xmllint returns an error status, the error message is obscured by the output, but it writes to stderr:
explicit-failures-markup.xml:3: validity error : Validation failed: no DTD found !
xsi:noNamespaceSchemaLocation="explicit-failures.xsd">
According to the xmllint man page the `--valid` flag is used for validating using a DTD, and we don't have a DTD. The `--schema` flag is sufficient for validation, so I think the solution is just to remove the `--valid` flag.
Diffstat (limited to 'rst.css')
0 files changed, 0 insertions, 0 deletions