Re: bashref.texi

[Luc Teirlinck]

    It's not a bug, and the filename should be `bash'.  `bash.info' is
    created from bashref.info by doc/Makefile, and installed by `make
    install'

I see.  So my problem was that I downloaded bashref.info from the bash
web site and installed it manually into the directory that contains the
.info files on my system.  Thanks for the explanation and sorry for
filing a false report.  Is there actually any difference in content
between the produced bash.info and bashref.info, because the latter
seems to be funtioning perfectly?

Sincerely,

Luc Teirlinck.