# HG changeset patch
# User Ruslan Ermilov <ru@nginx.com>
# Date 1319177884 0
# Node ID 73df20b5963c0fa21b4d3b861566df761e12fb1e
# Parent  7db449e89e92a809a76e82073089c12f16752471
xmllint is now always run.

diff -r 7db449e89e92 -r 73df20b5963c GNUmakefile
--- a/GNUmakefile	Fri Oct 21 06:17:16 2011 +0000
+++ b/GNUmakefile	Fri Oct 21 06:18:04 2011 +0000
@@ -19,11 +19,8 @@
 	if [ ! -s $(2) ]; then rm $(2); fi; test -s $(2)
 endef
 
-define	XMLLINT
-	xmllint --noout --valid $1
-endef
-
 define	XSLT
+	xmllint --noout --valid $2
 	xsltproc -o $3							\
 		$(shell echo $4						\
 		| sed -e "s/\([^= ]*\)=\([^= ]*\)/--param \1 \"'\2'\"/g") \
@@ -148,7 +145,6 @@
 
 $(OUT)/%.html:	xml/%.xml						\
 		$(ARTICLE_DEPS)
-	$(call XMLLINT, $<)
 	$(call XSLT, xslt/article.xslt, $<, $@)