summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_messages.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_messages.ml')
-rw-r--r--ocamldoc/odoc_messages.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/ocamldoc/odoc_messages.ml b/ocamldoc/odoc_messages.ml
index bb5d73d42..f7e5be1f0 100644
--- a/ocamldoc/odoc_messages.ml
+++ b/ocamldoc/odoc_messages.ml
@@ -36,6 +36,8 @@ let verbose_mode = "\t\tverbose mode"
let include_dirs = "<dir>\tAdd <dir> to the list of include directories"
let rectypes = "\tAllow arbitrary recursive types"
let preprocess = "<command>\tPipe sources through preprocessor <command>"
+let option_impl ="<file>\tConsider <file> as a .ml file"
+let option_intf ="<file>\tConsider <file> as a .mli file"
let display_custom_generators_dir = "\tDisplay custom generators standard directory and exit"
let add_load_dir = "<dir>\tAdd the given directory to the search path for custom\n"^
"\t\tgenerators "^bytecode_only