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>
> > -@node Signal handling
> > -@section Signal handling
> > +@node Signal Handling
> > +@section Signal Handling
>
> Here is where the @anchor would go.
>
> ACK.
>
Thanks, will push shortly.
Regards,
Stefano
