Re: [PATCH] User manual: Add indeces

[Jose E. Marchesi]

              Dot-Commands
             -* .load::                       Loading pickles.
             -* .file::                 Opening and selecting IO spaces.
             -* .close::                        Closing IO spaces.
             -* .editor::                       Using an external editor for 
input.
             -* .info::                 Getting information about open files, 
etc.
             -* .set::                  Querying and setting global options.
             -* .vm::                           Poke Virtual Machine services.
             -* .exit::                 Exiting poke :(
             +* load command::                  Loading pickles.
             +* file command::          Opening and selecting IO spaces.
             +* close command::         Closing IO spaces.
             +* editor command::                Using an external editor for 
input.
             +* info command::          Getting information about open files, 
etc.
             +* set command::                   Querying and setting global 
options.
             +* vm command::                    Poke Virtual Machine services.
             +* exit command::          Exiting poke :(
         
         
         What's wrong with having these nodes called like the dot-command?  Is 
it
         because they appear under . in an index?  I don't think that should be 
a
         problem...
    
    Unfortunately it is a problem.   Like the Texinfo user manual says:
    
        Unfortunately, you cannot reliably use periods, commas, or colons 
within a 
        node name; these can confuse the Info reader. 
    

Sigh, ok.