From a07fbaf8cb2569f5ab6416f0f0e12a31e22b5b36 Mon Sep 17 00:00:00 2001
From: Nick Schermer <nick@xfce.org>
Date: Sat, 28 Aug 2010 11:46:02 +0200
Subject: [PATCH] Abort dist when validating the xml file fails.

---
 docs/manual/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/manual/Makefile.am b/docs/manual/Makefile.am
index 1dcfcb85d..57c7c0056 100644
--- a/docs/manual/Makefile.am
+++ b/docs/manual/Makefile.am
@@ -72,7 +72,7 @@ doc-build.stamp: $(srcdir)/$(DOCUMENT) $(srcdir)/$(STYLESHEET)
 			-e "s,\@PACKAGE_VERSION\@,$(PACKAGE_VERSION),g" \
 			-i xgen-doc; \
 		echo "Validating DocBook XML file"; \
-		$(XMLLINT) --noout --valid xgen-doc; \
+		$(XMLLINT) --noout --valid xgen-doc || exit 1; \
 		echo "Creating the HTML pages"; \
 		$(XSLTPROC) --nonet -o $(srcdir)/html/$$lang/ $(srcdir)/$(STYLESHEET) xgen-doc; \
 		chmod -R u+w $(srcdir)/html/$$lang; \
-- 
GitLab