From 4dd2f5d0cb7c9d5110e37ba0908a9cb22dfc3885 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sun, 30 Jun 2019 18:31:24 +0200
Subject: [PATCH] linkcheck when building the doc

---
 docs/Build.sh | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/docs/Build.sh b/docs/Build.sh
index 1815b8b243..b0a94b4b1a 100755
--- a/docs/Build.sh
+++ b/docs/Build.sh
@@ -57,5 +57,14 @@ do
   fi
 done
 
-set +e
-if [ -e /opt/simgrid ] ; then chmod +x /opt/simgrid; fi
+if [ -e /opt/simgrid ] ; then chmod -x /opt/simgrid; fi
+
+if [ -e /usr/bin/linkchecker ] ; then
+  linkchecker --no-status -o csv --ignore-url='.*\.css$' --ignore-url=public/java/org build/html \
+     | grep -v '^#' \
+     | grep -v 'urlname;parentname;baseref;result;warningstring'
+  echo "done."
+else
+  echo "Install linkchecker to have it executed when you build the doc."
+fi
+
-- 
2.20.1