diff options
| author | sternenseemann <git@lukasepple.de> | 2017-02-17 23:14:17 +0100 |
|---|---|---|
| committer | sternenseemann <git@lukasepple.de> | 2017-02-17 23:14:17 +0100 |
| commit | 5f031e8196143c6f6cda145bb230be25f1e4f253 (patch) | |
| tree | bc4c986310d1db2e28c6cbcde286523a7b2c1285 | |
| parent | 3b5d541fb8cf320783ad07776f88ce5b9aa8431c (diff) | |
Improved usage message
| -rw-r--r-- | src/logbook.ml | 2 | ||||
| -rw-r--r-- | src/logbook_models.ml | 3 |
2 files changed, 2 insertions, 3 deletions
diff --git a/src/logbook.ml b/src/logbook.ml index baef3ef..2da26c3 100644 --- a/src/logbook.ml +++ b/src/logbook.ml @@ -19,7 +19,7 @@ let arglist = "set privacy level of output to semi-private"); ] -let usage = Sys.argv.(0) ^ " --file [file.log] [other args]" +let usage = Sys.argv.(0) ^ " --file [file.log] [--public | --private | --semi-private]" let _ = Arg.parse arglist (fun _ -> ()) usage; diff --git a/src/logbook_models.ml b/src/logbook_models.ml index 6f64bac..ba97001 100644 --- a/src/logbook_models.ml +++ b/src/logbook_models.ml @@ -16,6 +16,5 @@ let model_of_log level log = ("date", Tstr (string_of_date date)); ("items", Tlist (data_model_of_items level items)); ]) - log)) - ] + log)) ] |