Re: stronger docs on @SHELL@ usage in Makefile

[Ralf Wildenhues]

* 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