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.