diff options
Diffstat (limited to 'src/dune')
-rw-r--r-- | src/dune | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/dune b/src/dune index 1c4a997..63ff388 100644 --- a/src/dune +++ b/src/dune @@ -9,3 +9,6 @@ (public_name logbook) (libraries logbook lwt lwt.unix jingoo cow) (modules logbook logbook_template logbook_models)) + +(documentation + (mld_files index)) |