> > Or do you think of creating a list of sections with lists of the > > commands? > > Yes, like in any book:-))
ok, the file is now in doc/src/commandlist.man. The name should be changed, of course. And I (mis)used the [arg] parameter to indicate TCL commands, this is also to be changed. Bernd.
