From 40be916e1cf88ed96c3b7cbdc22fa4f3836b357a Mon Sep 17 00:00:00 2001
From: Ruslan Ermilov <ru@nginx.com>
Date: Tue, 9 Aug 2011 15:18:07 +0000
Subject: [PATCH] Don't ignore xmllint errors.

---
 docs/GNUmakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/GNUmakefile b/docs/GNUmakefile
index 7d1eeba7d..abb14601d 100644
--- 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") \