Always use xmllint(1) with --nonet

2021-02-26 05:49:13 +01:00 · 2021-02-26 05:49:13 +01:00 · 2ebe9525c5
commit 2ebe9525c5
parent d1cb3f8d44
2 changed files with 2 additions and 2 deletions
--- a/src/scripts/doc/docbook.sh
+++ b/src/scripts/doc/docbook.sh
@ -34,7 +34,7 @@ FOP="fop"
 INSTALL="install -m 0644"
 MKDIR="mkdir -m 0755 -p"
 RM="rm -f"
-XMLLINT="xmllint"
+XMLLINT="xmllint --nonet --xinclude"
 XSLTPROC="xsltproc --nonet --xinclude"

 [ -f "$CONFIGSH" ] && . "$CONFIGSH"
--- a/src/scripts/tests/xmllint.sh
+++ b/src/scripts/tests/xmllint.sh
@ -36,7 +36,7 @@ FIND="find"
 MKDIR="mkdir -p"
 SORT="sort -n"
 TR="tr"
-XMLLINT="xmllint --nonet"
+XMLLINT="xmllint --nonet --xinclude"

 [ -f "$CONFIGSH" ] && . "$CONFIGSH"