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 f63116b5fe5dd513c4058dfea1ab32f1494318b1..931caf6be9df28592bd054bc791bddc4bc68ff1c 100644 (file)
--- 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: