Merge branch 'bugfix/religo-missing-in-some-docs' into 'dev'

Updated some docs that did not include reasonligo / .religo yet

See merge request ligolang/ligo!368
This commit is contained in:
Tom Jack 2020-01-29 19:57:01 +00:00
commit 780e8e956c
2 changed files with 4 additions and 3 deletions

View File

@ -50,7 +50,7 @@ let req_syntax n =
let open Arg in
let info =
let docv = "SYNTAX" in
let doc = "$(docv) is the syntax that will be used. Currently supported syntaxes are \"pascaligo\" and \"cameligo\". By default, the syntax is guessed from the extension (.ligo and .mligo, respectively)." in
let doc = "$(docv) is the syntax that will be used. Currently supported syntaxes are \"pascaligo\", \"cameligo\" and \"reasonligo\". By default, the syntax is guessed from the extension (.ligo, .mligo, .religo respectively)." in
info ~docv ~doc [] in
required @@ pos n (some string) None info

View File

@ -517,8 +517,9 @@ let%expect_test _ =
SYNTAX (required)
SYNTAX is the syntax that will be used. Currently supported
syntaxes are "pascaligo" and "cameligo". By default, the syntax is
guessed from the extension (.ligo and .mligo, respectively).
syntaxes are "pascaligo", "cameligo" and "reasonligo". By default,
the syntax is guessed from the extension (.ligo, .mligo, .religo
respectively).
OPTIONS
--format=DISPLAY_FORMAT, --display-format=DISPLAY_FORMAT