On Thu, Oct 02, 2003 at 03:26:18PM +0200, Matthias Klose wrote: > or install the gcc-doc package.
Oh. Oh. I didn't realize that /usr/bin/gcc was managed by gcc instead of alternatives. With this setup, I see that it is easy to solve the problem by installing gcc-doc. However, if gcc were managed by alternatives, then this solution wouldn't be possible. Ie, info isn't compatible with alternatives. Oh well. As for this bug, there probably isn't anything to do. I didn't know how info worked when I filed the bug. I've suggested to the upstream info developer that it should always find the first matching menu entry. If this change is applied, "info gcc" should at least give gcc-something in preference to gccint-something. Andrew
