From 9227b7616c32cdcadd96d03a8ce7d5c457ba7e4d Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 20 Nov 2018 16:00:58 +0100
Subject: gitlab: Install stdlib doc in build:base

Looks like we forgot to adapt this when we split off the sphinx job
and stopped using -with-doc yes.
---
 dev/ci/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/ci/README.md b/dev/ci/README.md
index 4709247549..7ed90f524c 100644
--- a/dev/ci/README.md
+++ b/dev/ci/README.md
@@ -179,7 +179,7 @@ Currently available artifacts are:
   + Coq's Reference Manual [master branch]
     https://gitlab.com/coq/coq/-/jobs/artifacts/master/file/_install_ci/share/doc/coq/sphinx/html/index.html?job=doc:refman
   + Coq's Standard Library Documentation [master branch]
-    https://gitlab.com/coq/coq/-/jobs/artifacts/master/file/_install_ci/share/doc/coq/html/stdlib/index.html?job=doc:refman
+    https://gitlab.com/coq/coq/-/jobs/artifacts/master/file/_install_ci/share/doc/coq/html/stdlib/index.html?job=build:base
   + Coq's ML API Documentation [master branch]
     https://gitlab.com/coq/coq/-/jobs/artifacts/master/file/_build/default/_doc/_html/index.html?job=doc:ml-api:odoc
 
-- 
cgit v1.2.3