From acae2dcfce2f29efb56fec58b876e206329cd6ef Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 6 Apr 2021 11:42:01 +0200
Subject: Add odoc warnings for empty packages.

From an OCaml library point of view.
---
 index.mld | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 index.mld

(limited to 'index.mld')

diff --git a/index.mld b/index.mld
new file mode 100644
index 0000000000..068a5f0cb5
--- /dev/null
+++ b/index.mld
@@ -0,0 +1,5 @@
+{0 coq }
+
+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.
-- 
cgit v1.2.3


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(-)

(limited to 'index.mld')

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