From 55bb91da797b0b6dfe1fe5ddee01b94ade065de7 Mon Sep 17 00:00:00 2001
From: Marco Stronati <marco@stronati.org>
Date: Tue, 24 Jul 2018 16:54:45 +0200
Subject: [PATCH] CI/Makefile: decouple test for linkcheck to allow it to fail

---
 .gitlab-ci.yml | 9 +++++++++
 Makefile       | 5 ++++-
 2 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1f5f59596..b251896f1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -172,6 +172,15 @@ test:documentation:
     - sudo ln -s /usr/bin/sphinx-build-3 /usr/bin/sphinx-build
     - make doc-html
 
+test:linkcheck:
+  <<: *test_definition
+  script:
+    - sudo apk add --no-cache py3-sphinx py3-sphinx_rtd_theme
+    - sudo pip3 uninstall 'idna' --yes ## Fix up dependencies in alpine:3.8
+    - sudo pip3 install 'idna<2.7'
+    - sudo ln -s /usr/bin/sphinx-build-3 /usr/bin/sphinx-build
+    - make doc-linkcheck
+  allow_failure: true
 
 
 ############################################################
diff --git a/Makefile b/Makefile
index cf0ab5474..9411d83ff 100644
--- a/Makefile
+++ b/Makefile
@@ -56,7 +56,10 @@ doc-html: all
 	@mkdir -p $$(pwd)/docs/_build/api/odoc
 	@rm -rf $$(pwd)/docs/_build/api/odoc/*
 	@cp -r $$(pwd)/_build/default/_doc/* $$(pwd)/docs/_build/api/odoc/
-	@${MAKE} -C docs
+	@${MAKE} -C docs html
+
+doc-linkcheck:
+	@${MAKE} -C docs linkcheck
 
 build-test:
 	@dune build @buildtest