Add a relative link to coq-core.

1bc23f96 · ZIMMERMANN Theo · acae2dcf · 1bc23f96
Unverified Commit 1bc23f96 authored 4 years ago by ZIMMERMANN Theo
--- 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.