diff options
Diffstat (limited to 'doc/menu.doc')
-rw-r--r-- | doc/menu.doc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/menu.doc b/doc/menu.doc index fefd92c7..aa161bca 100644 --- a/doc/menu.doc +++ b/doc/menu.doc @@ -214,12 +214,13 @@ MENU GOTO tagname "menu goto .top". -MENU EXIT +MENU EXIT [tagname] (Only valid after a label statement inside MENU BEGIN ... MENU END) - Exit to the next higher menu. + Exit to the next higher menu, or, if tagname is specified, to + the named menu. MENU QUIT |