diff options
Diffstat (limited to 'doc/tools.texi')
| -rw-r--r-- | doc/tools.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tools.texi b/doc/tools.texi index 8d768424a..37a65d306 100644 --- a/doc/tools.texi +++ b/doc/tools.texi @@ -1446,7 +1446,7 @@ string @code{true} or @code{yes}. The evaluation is done by passing Run commands from @var{file}. @item /bye -Terminate the connection and the program +Terminate the connection and the program. @item /help Print a list of available control commands. |