diff options
Diffstat (limited to 'ocamldoc/odoc_messages.ml')
| -rw-r--r-- | ocamldoc/odoc_messages.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ocamldoc/odoc_messages.ml b/ocamldoc/odoc_messages.ml index 2fcebc3b3..ff9c5b2ac 100644 --- a/ocamldoc/odoc_messages.ml +++ b/ocamldoc/odoc_messages.ml @@ -245,6 +245,9 @@ let merging = "Merging..." let cross_referencing = "Cross referencing..." let generating_doc = "Generating documentation..." let loading f = "Loading "^f^"..." +let file_generated f = "File "^f^" generated." +let file_exists_dont_generate f = + "File "^f^" exists, we don't generate it." (** Messages for documentation generation.*) |