|
Gri Commands
|
12.16: The `
|
`help [*|command_name|{- topic}]'
|
Give help on a command or topic.
help'
Print a general help message.
help *'
Prints complete help info.
help command_name'
Prints help on the command whose name begins with the
string `command_name'. The string may be several words long; e.g.
`help set' or `help set x axis'.
help - topic_name'
The minus sign tells Gri that the string to follow it is a topic, not a
command. Topics Gri knows about are listed by the one-word `help'
request.