From 1bc23f9672be0e83fd0f3dfc6f94e3c8ee99eb8c Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 6 Apr 2021 19:17:30 +0200
Subject: Add a relative link to coq-core.

---
 index.mld | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.mld b/index.mld
index 068a5f0cb5..706688656e 100644
--- a/index.mld
+++ b/index.mld
@@ -2,4 +2,4 @@
 
 The coq package is a virtual package gathering the coq-core and coq-stdlib packages.
 
-For the documentation of the OCaml API of Coq, see the coq-core package.
+For the documentation of the OCaml API of Coq, see the {{: ../coq-core/index.html } coq-core } package.
-- 
cgit v1.2.3