Don't ignore xmllint errors.

diff --git a/docs/GNUmakefile b/docs/GNUmakefile
index 7d1eeba7d8f0f52cde2047e7816065bd76df08af..abb14601d5a0aa27c011130f7ab183696dbde04f 100644 (file)
--- 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") \