Add a relative link to coq-core.

coq · Apr 6, 2021 · 1bc23f9 · 1bc23f9
1 parent acae2dc
commit 1bc23f9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.