[Valgrind-developers] [valgrind] docs/Makefile.am: Make sure xml catalog file exists for xmllint check

[Mark W. <ma...@so...>]

https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=9f956db3e5eb0afb0d60987f3658b66646a0ac81

commit 9f956db3e5eb0afb0d60987f3658b66646a0ac81
Author: Mark Wielaard <ma...@kl...>
Date:   Sun Mar 9 16:46:50 2025 +0100

    docs/Makefile.am: Make sure xml catalog file exists for xmllint check
    
    When XML_CATALOG_FILES don't exist on the system xmllint will have to
    query those files through various websites. When there is a network
    error xmllint will fail. So make sure to only run the validity tests
    when both xmllint and XML_CATALOG_FILES exists.

Diff:
---
 docs/Makefile.am | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/docs/Makefile.am b/docs/Makefile.am
index 12d13db1da..68a3da5617 100644
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -186,14 +186,20 @@ all-docs: FAQ.txt man-pages html-docs print-docs
 
 valid-manual: $(MANUAL_XML_FILES)
 	if type $(XMLLINT) 2>/dev/null; then \
-	  $(XMLLINT) $(XMLLINT_FLAGS) $(myxmldir)/index.xml && \
-	  touch $@; \
+	  if [ -f $(XML_CATALOG_FILES) ]; then \
+	    export XML_CATALOG_FILES=$(XML_CATALOG_FILES) && \
+	    $(XMLLINT) $(XMLLINT_FLAGS) $(myxmldir)/index.xml && \
+	    touch $@; \
+	  fi \
 	fi
 
 valid-manpages: $(MANPAGES_XML_FILES)
 	if type $(XMLLINT) 2>/dev/null; then \
-	  $(XMLLINT) $(XMLLINT_FLAGS) $(myxmldir)/manpages-index.xml && \
-	  touch $@; \
+	  if [ -f $(XML_CATALOG_FILES) ]; then \
+	    export XML_CATALOG_FILES=$(XML_CATALOG_FILES) && \
+	    $(XMLLINT) $(XMLLINT_FLAGS) $(myxmldir)/manpages-index.xml && \
+	    touch $@; \
+	  fi \
 	fi
 
 check-local: valid-manual valid-manpages