Re: GNU poke 0.90 pre-released

[Benno Schulenberg]

Op 20-02-2021 om 20:40 schreef Jose E. Marchesi:
> I think all the problems you report are fixed in the commit below, which
> will be part of the next pre-release.
> 
> commit 834c58c04757100fa0309329bc5c6ea0e3772692 (HEAD -> master, 
> origin/master, origin/HEAD)

Thanks.  Looks good.


Now I've looked at 'info doc/poke.info intro invok', and the options
look too cramped.  Normally there is a blank line after each option
description.  See for example 'info grep invok comma match'.

I looked at the info page because I wanted to know what --no-auto-map
does, as it can probably be described a bit more helpfully than just
"disable auto-map".  But it seems some options are missing from the
info page.

Also, the pointing hand gets mangled in the man page.  Maybe remove
it from there?  Or remove it from the --help output completely, as
it's not really helpful?  Maybe add it to the --version output?

Benno