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.
---
 ide/coqide/dune      | 3 +++
 ide/coqide/index.mld | 3 +++
 2 files changed, 6 insertions(+)
 create mode 100644 ide/coqide/index.mld

(limited to 'ide')

diff --git a/ide/coqide/dune b/ide/coqide/dune
index 4bb4672cd4..d2642f77bf 100644
--- a/ide/coqide/dune
+++ b/ide/coqide/dune
@@ -51,6 +51,9 @@
  (modes exe byte)
  (libraries coqide_gui))
 
+(documentation
+ (package coqide))
+
 ; Input-method bindings
 (executable
  (name default_bindings_src)
diff --git a/ide/coqide/index.mld b/ide/coqide/index.mld
new file mode 100644
index 0000000000..8852a2a7eb
--- /dev/null
+++ b/ide/coqide/index.mld
@@ -0,0 +1,3 @@
+{0 coqide }
+
+The coqide package only contains the CoqIDE executable and no OCaml library.
-- 
cgit v1.2.3