summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorRuslan Ermilov <ru@nginx.com>2011-08-09 15:18:07 +0000
committerRuslan Ermilov <ru@nginx.com>2011-08-09 15:18:07 +0000
commit40be916e1cf88ed96c3b7cbdc22fa4f3836b357a (patch)
tree15d3179b9531485c50874cfdaab6e36b583aae24
parentb0067b68537de308656799f795ab74401125b7e2 (diff)
downloadnginx-40be916e1cf88ed96c3b7cbdc22fa4f3836b357a.tar.gz
nginx-40be916e1cf88ed96c3b7cbdc22fa4f3836b357a.tar.bz2
Don't ignore xmllint errors.
Diffstat (limited to '')
-rw-r--r--docs/GNUmakefile2
1 files changed, 1 insertions, 1 deletions
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") \