add odoc-config to doc/markov/dune

eeelllccc · eeelllccc · commit bb870f39f333 · 2025-03-25T17:32:11.000Z
diff --git a/doc/markov/dune b/doc/markov/dune
@@ -6,3 +6,8 @@
   (files
     (policy-steps.png as odoc-pages/policy-steps.png))
   (package markov))
+
+(install
+  (section doc)
+  (files odoc-config.sexp)
+  (package markov))
