Public bug reported:

Linux Mint 14, x86_64
gcc 4.7.2-2ubuntu1
gcc-doc 4.7.2-1ubuntu2
GNU texinfo 4.13

When I type "info gcc" at the command line, I get the manual for "gccgo".
I should get the manual for "gcc".

I haven't set a value for $INFOPATH. The problem still occurs when I set
$INFOPATH to "/usr/share/info".

As a workaround, I can type "info gcc-4.7", "info gcc.info", or "info
gcc-".

$ cd /usr/share/info
$ ls -l gcc*
-rw-r--r-- 1 root root 523080 Sep 21  2012 gcc-4.7.info.gz
lrwxrwxrwx 1 root root     15 Sep 21  2012 gcc.info.gz -> gcc-4.7.info.gz
-rw-r--r-- 1 root root  24002 Sep 21  2012 gccgo.info.gz
-rw-r--r-- 1 root root 538706 Sep 21  2012 gccint-4.7.info.gz
lrwxrwxrwx 1 root root     18 Sep 21  2012 gccint.info.gz -> gccint-4.7.info.gz
$ grep gcc dir
* Gccgo: (gccgo).               A GCC-based compiler for the Go language
* g++-4.7: (gcc-4.7).           The GNU C++ compiler.
* gcc-4.7: (gcc-4.7).           The GNU Compiler Collection.
* gccint-4.7: (gccint-4.7).     Internals of the GNU Compiler Collection.


The problem: There is no entry for "gcc". "info gcc" shows the *first* entry 
whose name starts with "gcc" -- which happens to be "gccgo".

Note that the "gccgo" documentation is installed as part of the gcc-doc
package; it's not even necessary to install "gccgo" for the problem to
occur.

Manually editing /usr/share/info/dir so that the line for "gccgo" comes
*after* the line for "gcc-4.7" fixes the problem (at least until the
next time something updates the "dir" file).

Suggested fix:

When installing the "gcc-doc" or "gcc-4.7-doc" package, ensure that an
entry named "gcc" is added to /usr/local/share/info.

Alternative:

Ensure that the entry for "gccgo" appears after the entry for "gcc-4.7".
(This seems less clean.)

** Affects: linuxmint
     Importance: Undecided
         Status: New

** Affects: ubuntu
     Importance: Undecided
         Status: New

** Also affects: ubuntu
   Importance: Undecided
       Status: New

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1203904

Title:
  "info gcc" shows gccgo manual, not gcc manual

To manage notifications about this bug go to:
https://bugs.launchpad.net/linuxmint/+bug/1203904/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to