On 3/8/15 4:51 PM, Luc Teirlinck wrote:
> 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?
Very little.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU c...@case.edu http://cnswww.cns.cwru.edu/~chet/
