Texinfo and Bash teams:

I noticed a problem when I installed both GNU Texinfo and BASH in the
same directory.  They both install the file "<install_dir>/info/dir".
It seems like these two applications shouldn't be stomping each other's
files.

For reference, see attached are the texinfo and bash versions of this
file.

Brian

texinfo

bash

Reply via email to