diff --git a/doc/pages/options.asciidoc b/doc/pages/options.asciidoc index f4032141..5b865fcd 100644 --- a/doc/pages/options.asciidoc +++ b/doc/pages/options.asciidoc @@ -150,12 +150,19 @@ are exclusively available to built-in options. `` is executed. The common use case is to display element + specific documentation. `set -add` adds given completions to the list. + `set -remove` removes given completions from the list. +