Mon 22 Jul 2013 03:46:13 AM UTC, original submission:
Problem: "info gcc" shows the manual for "gccgo". It should show the manual for "gcc".
I've seen this problem on a number of GNU/Linux systems.
In particular, I see it on:
- Linux Mint 14 (Nadia) x86_64
- GNU texinfo 4.13 (installed by system) and
- GNU texinfo 5.1 (built from source)
- gcc 4.7.2 is installed
"$INFOPATH" is not set, but I see the same problem when I set $INFOPATH to "/usr/share/info".
When I type "info gcc", I get the manual for "gccgo". To see the gcc manual, I have to type one of "info gcc-4.7", "info gcc-", or "info gcc.info".
This is inconvenient and counterintuitive.
Here's the output of "ls -l /usr/share/info/gcc*" :
Apparently the "info" command's algorithm for resolving ambiguous names prefers "gccgo.info.gz" to "gcc.info.gz" given the name "gcc".
Note that on Linux Mint 14, gccgo.info.gz is installed as part of the gcc-4.7-doc package; I've seen this problem even when gccgo isn't installed.
Suggestion: Modify the search algorithm so an exact match is preferred.
|