diff options
author | Arturo Borrero Gonzalez <arturo@netfilter.org> | 2019-08-15 14:24:28 +0200 |
---|---|---|
committer | Pablo Neira Ayuso <pablo@netfilter.org> | 2019-08-15 14:27:36 +0200 |
commit | e33480a494001501f1a8ec080a4941b25336831b (patch) | |
tree | 3a7cbfe4572deb7dc06fcff765e4873bab6d099a /doc/nft.txt | |
parent | 452e7653334bd2808441fe40235307f1f3dd23c4 (diff) |
doc: don't check asciidoc output with xmllint
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.
Signed-off-by: Arturo Borrero Gonzalez <arturo@netfilter.org>
Signed-off-by: Pablo Neira Ayuso <pablo@netfilter.org>
Diffstat (limited to 'doc/nft.txt')
0 files changed, 0 insertions, 0 deletions