From 1c667f5c1caf828f7dbf3e9c7910b8a0b7b84d03 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sun, 13 Dec 2020 21:20:05 +0100 Subject: Update dev/ci/user-overlays/README.md Co-authored-by: Théo Zimmermann --- dev/ci/user-overlays/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev/ci/user-overlays/README.md b/dev/ci/user-overlays/README.md index da0cee09a2..cf1d71c1cd 100644 --- a/dev/ci/user-overlays/README.md +++ b/dev/ci/user-overlays/README.md @@ -25,7 +25,7 @@ overlay elpi https://github.com/SkySkimmer/coq-elpi noinstance 13128 ``` Such a file can be created automatically using the scripts -[`create_overlays.sh`]()../../dev/tools/create_overlays.sh). +[`create_overlays.sh`](../../dev/tools/create_overlays.sh). See also the list of projects for which one can write an overlay in the file [`ci-basic-overlay.sh`](../ci-basic-overlay.sh). -- cgit v1.2.3