From 1bc23f9672be0e83fd0f3dfc6f94e3c8ee99eb8c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@inria.fr>
Date: Tue, 6 Apr 2021 19:17:30 +0200
Subject: [PATCH] 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 068a5f0cb5f7..706688656ed9 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.