1 files changed, 3 insertions, 0 deletions

diff --git a/dune b/dune
index 6547f5c859..31c6b41284 100644
--- a/dune
+++ b/dune
@@ -35,3 +35,6 @@
  (deps test-suite/summary.log))
 
 ; (dirs (:standard _build_ci))
+
+(documentation
+ (package coq))