diff --git a/doc/scripts/htmllint.sh b/doc/scripts/htmllint.sh index df4a4dd..24e7ebe 100755 --- a/doc/scripts/htmllint.sh +++ b/doc/scripts/htmllint.sh @@ -32,7 +32,7 @@ PROJECTCONF="../project.conf" DATE="date" DEBUG="_debug" FIND="find" -HTMLLINT="xmllint --html" +HTMLLINT="xmllint --html --nonet" SORT="sort -n" TR="tr" diff --git a/doc/scripts/xmllint.sh b/doc/scripts/xmllint.sh index 70638f5..2b197ba 100755 --- a/doc/scripts/xmllint.sh +++ b/doc/scripts/xmllint.sh @@ -34,7 +34,7 @@ DEBUG="_debug" FIND="find" SORT="sort -n" TR="tr" -XMLLINT="xmllint" +XMLLINT="xmllint --nonet" #functions