From: Mark Wielaard <mark@klomp.org>
Date: Thu, 14 May 2020 22:43:33 +0000 (+0200)
Subject: Run xmllint on make check.
X-Git-Tag: VALGRIND_3_16_0~7
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=052cc9741642ce7e0d4cfdd4c7a27b7c0eb842ec;p=thirdparty%2Fvalgrind.git

Run xmllint on make check.

Now that we have valid docbookx xml lets try to keep it that way.
If the user has xmllint installed then run it on make check.
---

diff --git a/docs/Makefile.am b/docs/Makefile.am
index f63116b5fe..931caf6be9 100644
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -133,8 +133,12 @@ XSL_MAN_STYLES = \
 all-docs: FAQ.txt man-pages html-docs print-docs
 
 valid:
-	$(XMLLINT) $(XMLLINT_FLAGS) $(myxmldir)/index.xml
-	$(XMLLINT) $(XMLLINT_FLAGS) $(myxmldir)/manpages-index.xml
+	if type $(XMLLINT) 2>/dev/null; then \
+	  $(XMLLINT) $(XMLLINT_FLAGS) $(myxmldir)/index.xml; \
+	  $(XMLLINT) $(XMLLINT_FLAGS) $(myxmldir)/manpages-index.xml; \
+	fi
+
+check-local: valid
 
 # The text version of the FAQ.
 FAQ.txt: