[bug #39547] "info gcc" shows gccgo manual

[Keith Thompson]

URL:
  <http://savannah.gnu.org/bugs/?39547>

                 Summary: "info gcc" shows gccgo manual
                 Project: texinfo - GNU documentation system
            Submitted by: kst
            Submitted on: Mon 22 Jul 2013 03:46:13 AM GMT
                Category: info
                 Release: 5.1
                Priority: 5 - Normal
                Severity: 3 - Normal
              Item Group: enhancement
                 Privacy: Public
             Open/Closed: Open
             Assigned to: None
         Discussion Lock: Any
                  Status: None

    _______________________________________________________

Details:

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*" :


-rw-r--r-- 1 root root 523080 Sep 21  2012 /usr/share/info/gcc-4.7.info.gz
lrwxrwxrwx 1 root root     15 Sep 21  2012 /usr/share/info/gcc.info.gz ->
gcc-4.7.info.gz
-rw-r--r-- 1 root root  24002 Sep 21  2012 /usr/share/info/gccgo.info.gz
-rw-r--r-- 1 root root 538706 Sep 21  2012 /usr/share/info/gccint-4.7.info.gz
lrwxrwxrwx 1 root root     18 Sep 21  2012 /usr/share/info/gccint.info.gz ->
gccint-4.7.info.gz


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.




    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?39547>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/