1 files changed, 1 insertions, 1 deletions

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.