> From: Bruno Haible <[email protected]> > Cc: [email protected] > Bcc: [email protected] > Date: Mon, 07 May 2012 19:30:47 +0200 > > Eli Zaretskii wrote: > > > This is precisely what I'm asking to be fixed > > > > Fix how? By explicitly searching both PATH and INFOPATH? > > It can be fixed by the approach that I explained through pseudo-code and > of which you said that "it will probably work". [1]
That would solve the problem of not displaying anything at all, but I don't see how it can solve the situation with several manuals for the same program. The situation I have in mind is this: . you have a program FOO in /usr/local/bin . you have a manual for that program in /usr/local/share/info . you also have an old manual for a previous version of FOO in /opt/gnu/share/info, but no corresponding binary in /opt/gnu/bin Now typing "FOO" at the shell prompt will invoke /usr/local/bin/FOO, but typing "info FOO" will display /opt/gnu/share/info/FOO.info (assuming PATH and INFOPATH are set as you show a few messages back in this thread). Am I missing something?
