diff docs/GNUmakefile @ 3999:36ce2e430bdd

Don't ignore xmllint errors.
author Ruslan Ermilov <ru@nginx.com>
date Tue, 09 Aug 2011 15:18:07 +0000
parents cb90f030acfd
children b427290fb6bc
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") \