From 2ebe9525c5ae5e804cf5371137eb235afdd53673 Mon Sep 17 00:00:00 2001
From: Pierre Pronchery <khorben@defora.org>
Date: Fri, 26 Feb 2021 05:49:13 +0100
Subject: [PATCH] Always use xmllint(1) with --nonet

---
 src/scripts/doc/docbook.sh   | 2 +-
 src/scripts/tests/xmllint.sh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/scripts/doc/docbook.sh b/src/scripts/doc/docbook.sh
index 83bbf54..5214d86 100755
--- 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"
diff --git a/src/scripts/tests/xmllint.sh b/src/scripts/tests/xmllint.sh
index 6773845..84ca576 100755
--- 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"