ry 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.
g the correct entry in dir was
not.)
I hope you do not get this bug report twice. I first tried using
bashbug, but got confused by it and I do not believe I managed to get it
actually submitted.
Sincerely,
Luc Teirlinck.
