Re: [PATCH 2/2] docs: some fixlets in section about shell signal handling

[Stefano Lattarini]

On Tuesday 04 October 2011, Eric Blake wrote:
> On 09/29/2011 02:51 AM, Stefano Lattarini wrote:
> > * doc/autoconf.texi (Signal handling): Rename ...
> > (Signal Handling): ... to this, for consistency with other node
> > names.  Fix some typos and grammaros.  Add more URL references
> > in comments.
> 
> Normally, renaming a node requires an @anchor{} with the old name, so as 
> to preserve any URLs pointing to the old name.  But since this is just a 
> case change, and URLs can be case insensitive depending on the server, 
> you might just get away without the @anchor.
>
Also, the older name hasn't leaked in any released version of manual,
so nothing an nobody will point to it anyway.

> > @@ -15520,8 +15520,8 @@ ksh[1]: exec: 10: not found
> >   @end example
> >
> >   @c<http://lists.gnu.org/archive/html/bug-autoconf/2011-09/msg00004.html>
> > address@hidden Signal handling
> > address@hidden Signal handling
> > address@hidden Signal Handling
> > address@hidden Signal Handling
> 
> Here is where the @anchor would go.
> 
> ACK.
> 
Thanks, will push shortly.

Regards,
  Stefano