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.
