15 lines
727 B
Diff
15 lines
727 B
Diff
diff -urNp xmlto-0.0.20-orig/xmlto.in xmlto-0.0.20/xmlto.in
|
|
--- xmlto-0.0.20-orig/xmlto.in 2009-02-02 13:23:06.000000000 +0100
|
|
+++ xmlto-0.0.20/xmlto.in 2009-02-02 13:27:50.000000000 +0100
|
|
@@ -372,8 +372,9 @@ 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 --xinclude --postvalid --noent \"$INPUT_FILE\""
|
|
+ xmllint >/dev/null --xinclude --postvalid --noent \
|
|
+ "$INPUT_FILE" 2>"${VALIDATION}"
|
|
xmllint_status=$?
|
|
if [ $xmllint_status -ne 0 ]
|
|
then
|