diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/content/manual/manual.yml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/docs/content/manual/manual.yml b/docs/content/manual/manual.yml index 242cf510..842c9373 100644 --- a/docs/content/manual/manual.yml +++ b/docs/content/manual/manual.yml @@ -313,9 +313,8 @@ sections: * `--`: - Terminates argument processing. Remaining arguments are - positional, either strings, JSON texts, or input filenames, - according to whether `--args` or `--jsonargs` were given. + Terminates argument processing. Remaining arguments are not + interpreted as options. * `--run-tests [filename]`: |