From 1610a3a014ca193868cd6ed987728201c15b423c Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Mon, 20 May 2019 00:15:32 +0200
Subject: [PATCH] argh, linkchecker needs --check-extern to be really useful

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2830b95244..64e8e26d9b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -8,7 +8,7 @@ pages:
   - cd docs
   - LC_ALL=C.UTF-8 ./Build.sh
   - mv build/html ../public
-  - linkchecker --ignore-url='.*\.css$' ../public
+  - linkchecker --check-extern --ignore-url='.*\.css$' ../public
   artifacts:
     paths:
     - public
-- 
2.20.1