diff -urNp xmlto-0.0.21-orig/xmlto.in xmlto-0.0.21/xmlto.in --- xmlto-0.0.21-orig/xmlto.in 2009-01-28 12:51:19.000000000 +0100 +++ xmlto-0.0.21/xmlto.in 2009-01-28 12:54:35.000000000 +0100 @@ -427,8 +427,10 @@ if [ "$SKIP_VALIDATION" -eq 0 ] && [ "$S then VALIDATION="${XSLT_PROCESSED_DIR}/validation-errors" [ "$VERBOSE" -ge 1 ] && \ - echo >&2 "xmllint >/dev/null --xinclude --postvalid \"$INPUT_FILE\"" - xmllint >/dev/null --xinclude --postvalid "$INPUT_FILE" 2>"${VALIDATION}" + echo >&2 \ + "xmllint >/dev/null --nonet --xinclude --postvalid --noent \"$INPUT_FILE\"" + xmllint >/dev/null --nonet --xinclude --postvalid --noent \ + "$INPUT_FILE" 2>"${VALIDATION}" xmllint_status=$? if [ $xmllint_status -ne 0 ] then