Merge remote-tracking branch 'JJK96/documentation'

This commit is contained in:
Maxime Coste 2019-02-03 09:53:09 +11:00
commit 7b1af1c32c

View File

@ -1456,7 +1456,7 @@ const CommandDesc update_option_cmd = {
const CommandDesc declare_option_cmd = {
"declare-option",
"decl",
"declare-option <type> <name> [value]: declare option <name> of type <type>.\n"
"declare-option [<switches>] <type> <name> [value]: declare option <name> of type <type>.\n"
"set its initial value to <value> if given and the option did not exist\n"
"Available types:\n"
" int: integer\n"