On Sun, May 16, 2010 at 10:03 PM, Karl Berry <k...@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...