Re: Bug reports for texinfo (and 2 wishes)

[Karl Berry]

    sk> Karl, does "info gunzip" display the _manpage_ for you?

No.  I have a gunzip entry in my dir file (as Eli implied).

    (If not, try another manpage, eg. "info intro" or "info passwd".)

I don't get the top man page for those either, or any "missing" info
file, as I've written before.

    np> So I assume I see the man page of top when I make
            info odsjfsdfosdjfosdjofsodfojsd
    while Karl does not see it. Funny.

Correct.  And the differing case-sensitivity of man on debian vs. redhat
sounds like the reason.  (Thanks Stepan.  Would never have guessed.)

    Comments on my interpretation on the program flow?

Sorry, I saw it but haven't read it yet (been offline for 10 days).
Will get back soon ...