From c9953e36ef380916ee805b8550439868e615921c Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 12 Mar 2020 19:06:22 -0400
Subject: [ci] [doc] Point to actual docker instructions.

---
 dev/ci/README-users.md | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'dev')

diff --git a/dev/ci/README-users.md b/dev/ci/README-users.md
index 6649820f22..994ff87674 100644
--- a/dev/ci/README-users.md
+++ b/dev/ci/README-users.md
@@ -105,5 +105,10 @@ images for testing against Coq master. Using these images is highly
 recommended:
 
 - For Docker, see: https://github.com/coq-community/docker-coq
+
+  The https://github.com/coq-community/docker-coq/wiki/CI-setup wiki
+  page contains additional information and templates to help setting
+  Docker-based CI up for your Coq project
+
 - For Nix, see the setup at
   https://github.com/coq-community/manifesto/wiki/Continuous-Integration-with-Nix
-- 
cgit v1.2.3