changeset 3999:36ce2e430bdd

Don't ignore xmllint errors.
author Ruslan Ermilov <ru@nginx.com>
date Tue, 09 Aug 2011 15:18:07 +0000
parents 131adbb6c82d
children 98f9fcd3c320
files docs/GNUmakefile
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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") \