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 ...
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-texinfo
