17 lines
749 B
Diff
17 lines
749 B
Diff
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
|