From 121212b3da5bfcda6dbe98892950f1b3d857b969 Mon Sep 17 00:00:00 2001 From: zeme Date: Tue, 2 Jul 2024 15:49:55 +0200 Subject: [PATCH] Fix combined-haddock --- scripts/combined-haddock.sh | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/scripts/combined-haddock.sh b/scripts/combined-haddock.sh index c7c3c4ee147..14262cd104c 100755 --- a/scripts/combined-haddock.sh +++ b/scripts/combined-haddock.sh @@ -312,6 +312,13 @@ for failure in "${BROKEN_LINKS[@]}"; do done +echo "Looking for linkchecker" +if ! command -v linkchecker &> /dev/null; then + echo "linkchecker not found" + exit 0 +fi + + echo "Running linkchecker" time linkchecker "${OUTPUT_DIR}/index.html" \ --check-extern \