Fix combined-haddock

IntersectMBO · Jul 2, 2024 · 121212b · 121212b
1 parent 771fb5e
commit 121212b
Showing 1 changed file with 7 additions and 0 deletions.
diff --git 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 \