Re: Patch to bashref.texi

[Pierre Gaston]

On Sun, May 16, 2010 at 10:03 PM, Karl Berry <karl@freefriends.org> wrote:

> On this mail from last month ...
>
>    Date: Tue, 20 Apr 2010 14:03:25 -0400
>    vincent> > The thing is that when you get the manual from this page
>    > > [[http://www.gnu.org/software/bash/manual/bashref.info.tar.gz]]
>
>    chet> I don't distribute that.  Try the bashref manual from the source
>    > distribution.
>
> I updated http://www.gnu.org/software/bash/manual/ from the 4.1 sources,
> using the name bash.texi this time.  I admit I don't understand the
> purpose bash/bashref name switch in bash's doc/Makefile, but hopefully
> this works ok.
>
> BTW, Chet, if you'd be willing to update the manual in the future, I'd
> be happy to give you the incantation of the gendocs.sh utility
> (described in maintain.texi) that does all the work.
>
> Happy documenting,
> karl
>
> hmm as a side effect you broke all the links to bashref.html out there...