|
From: Mark W. <ma...@so...> - 2020-05-14 23:13:18
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=052cc9741642ce7e0d4cfdd4c7a27b7c0eb842ec commit 052cc9741642ce7e0d4cfdd4c7a27b7c0eb842ec Author: Mark Wielaard <ma...@kl...> Date: Fri May 15 00:43:33 2020 +0200 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: --- docs/Makefile.am | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) 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: |