* Eric Blake wrote on Wed, Aug 20, 2008 at 03:10:20PM CEST:
>
> Ping. Meanwhile, I've updated the series, available now as:
>
> $ git pull git://repo.or.cz/autoconf/ericb.git make-shell
>
> or browseable at
> http://repo.or.cz/w/autoconf/ericb.git?a=shortlog;h=refs/heads/make-shell
>
> I'm not sure whether more rewording is necessary. Thoughts?
The SHELL wording tweaking is fine with me, please apply.
The formatting still puts some '$command_name $args' in @command{},
which is not what is recommended by the texinfo manual:
<http://www.gnu.org/software/texinfo/manual/texinfo/html_node/command.html>
If you just undo those, then the rest of the patch is fine, too.
Cheers, and thank you,
Ralf
