Merge pull request #951 from MisterDA/manual-mld

Convert manual from Wiki to mld
ocsigen · May 2, 2024 · 0e231d4 · 0e231d4
2 parents 4341167 + b890e7d
commit 0e231d4
Show file tree

Hide file tree

Showing 6 changed files with 980 additions and 882 deletions.
diff --git a/docs/dune b/docs/dune
@@ -0,0 +1,3 @@
+(documentation
+ (package lwt)
+  (mld_files :standard))