Re: [PATCH] User manual: Add indeces

[Jose E. Marchesi]

Hi John.

Thank you for working on the manual.

        * doc/poke.texi: Add indeces

Indexes?

    ---
     ChangeLog     |   4 +
     doc/poke.texi | 495 
++++++++++++++++++++++++++++++++++------------------------
     2 files changed, 297 insertions(+), 202 deletions(-)
    
    diff --git a/ChangeLog b/ChangeLog
    index 97dc6a3..fdb93c1 100644
    --- a/ChangeLog
    +++ b/ChangeLog
    @@ -1,5 +1,9 @@
     2019-11-19 John Darrington <address@hidden>
     
    +   * doc/poke.texi: Add indeces.

Likewise.

    +
    +2019-11-19 John Darrington <address@hidden>
    +
             * src/pk-dump.pk (print_ascii): New function. (print_hex) New 
function.
             (print_data): Deal properly with EOF and data not ending on 16#B 
boundary.
             * testsuite/poke.cmd/dump-5.pk: New file.
    diff --git a/doc/poke.texi b/doc/poke.texi
    index 3f121a3..75bc4ee 100644
    --- a/doc/poke.texi
    +++ b/doc/poke.texi
    @@ -65,14 +65,14 @@ Using poke
     * Commanding poke::                Interactive and non-interactive usage.
     
     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...

The rest of the changes look great.