diff --git a/doc/overview.xml b/doc/overview.xml index 52fe9b9865..41de55025c 100644 --- a/doc/overview.xml +++ b/doc/overview.xml @@ -187,7 +187,7 @@ desc.add_options() For the first parameter, we specify only the name and the description. No value can be specified in the parsed source. - For the first option, the user must specify a value, using a single + For the second option, the user must specify a value, using a single token. For the third option, the user may either provide a single token for the value, or no token at all. For the last option, the value can span several tokens. For example, the following command line is OK: