diff --git a/lwt/_doc-dir/odoc-config.sexp b/lwt/_doc-dir/odoc-config.sexp new file mode 100644 index 00000000..db3dcffb --- /dev/null +++ b/lwt/_doc-dir/odoc-config.sexp @@ -0,0 +1 @@ +(packages odoc) \ No newline at end of file diff --git a/moonpool-lwt/_doc-dir/odoc-config.sexp b/moonpool-lwt/_doc-dir/odoc-config.sexp new file mode 100644 index 00000000..db3dcffb --- /dev/null +++ b/moonpool-lwt/_doc-dir/odoc-config.sexp @@ -0,0 +1 @@ +(packages odoc) \ No newline at end of file diff --git a/moonpool/_doc-dir/odoc-config.sexp b/moonpool/_doc-dir/odoc-config.sexp new file mode 100644 index 00000000..db3dcffb --- /dev/null +++ b/moonpool/_doc-dir/odoc-config.sexp @@ -0,0 +1 @@ +(packages odoc) \ No newline at end of file