From 0c47cab6062f86fcaad215c7f790c29a7802aa48 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Sun, 1 Jul 2018 21:57:40 +0100 Subject: [PATCH] Fix cmdliner errors Signed-off-by: Jeremie Dimino --- bin/main.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/bin/main.ml b/bin/main.ml index be333e73..b135def1 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -1468,10 +1468,10 @@ module Help = struct Unix systems and $(b,Local Settings/dune/config) in the User home directory on Windows. However, it is possible to specify an alternative configuration file with the $(b,--config-file) option.|} - ; `P {|The first line of the file must be of the form (lang dune X.Y) \ + ; `P {|The first line of the file must be of the form (lang dune X.Y) where X.Y is the version of the dune language used in the file.|} - ; `P {|The rest of the file must be written in S-expression syntax and be \ - composed of a list of stanzas. The following sections describe \ + ; `P {|The rest of the file must be written in S-expression syntax and be + composed of a list of stanzas. The following sections describe the stanzas available.|} ; `S "DISPLAY MODES" ; `P {|Syntax: $(b,\(display MODE\))|}