1 files changed, 3 insertions, 0 deletions
diff --git a/theories/dune b/theories/dune
index 1cd3d8c119..a5812093d6 100644
--- a/theories/dune
+++ b/theories/dune
@@ -34,3 +34,6 @@
    coq-core.plugins.derive))
 
 (include_subdirs qualified)
+
+(documentation
+ (package coq-stdlib))