Date: Sun, 26 Jan 1997 16:11:02 +0200 (IST)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To: Michael Mauch <mauch AT uni-duisburg DOT de>
cc: djgpp AT delorie DOT com
Subject: Re: man under djgpp
In-Reply-To: <32e6e043.1598254@news.uni-duisburg.de>
Message-ID: <Pine.SUN.3.91.970126160911.6261G-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII


On Thu, 23 Jan 1997, Michael Mauch wrote:

> Are you really sure? AFAIK info does not search for man pages nor
> display them (I have txi390b installed). E.g., info simply calls "man
> bash", if you say "info bash" and there's no bash.inf file around.
> Info then redirects your man's output and displays it in its own
> window. Until I find a good DOS version of man, I use the following
> batch file (man.bat):

Right, and that's exactly the meaning of the words "Info can display man 
pages".  Don't you think so?