Re: Patch to bashref.texi

[Karl Berry]

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