# HG changeset patch # User Ruslan Ermilov # Date 1312903087 0 # Node ID 36ce2e430bdd63e3f528aeed33f00176703548ae # Parent 131adbb6c82d81bf8b7fa9927018a3ed93132b0c Don't ignore xmllint errors. diff --git a/docs/GNUmakefile b/docs/GNUmakefile --- a/docs/GNUmakefile +++ b/docs/GNUmakefile @@ -16,7 +16,7 @@ define XSLScript endef define XSLT - xmllint --noout --valid $2; \ + xmllint --noout --valid $2 xsltproc -o $3 \ $(shell echo $4 \\ | sed -e "s/\([^= ]*\)=\([^= ]*\)/--param \1 \"'\2'\"/g") \