Fix cmdliner errors
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
This commit is contained in:
parent
9029c61539
commit
0c47cab606
|
@ -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\))|}
|
||||
|
|
Loading…
Reference in New Issue