delorie.com/archives/browse.cgi   search  
Mail Archives: djgpp/1997/01/23/19:10:31

From: mauch AT uni-duisburg DOT de (Michael Mauch)
Newsgroups: comp.os.msdos.djgpp
Subject: Re: man under djgpp
Date: Thu, 23 Jan 1997 15:06:36 +0100
Organization: Home, sweet home (via Gesamthochschule Duisburg)
Lines: 49
Distribution: world
Message-ID: <32e6e043.1598254@news.uni-duisburg.de>
References: <32DF9491 DOT 1030 AT bigfoot DOT com> <32E03A5A DOT 1898 AT cs DOT com>
NNTP-Posting-Host: ppp68.uni-duisburg.de
Mime-Version: 1.0
To: djgpp AT delorie DOT com
DJ-Gateway: from newsgroup comp.os.msdos.djgpp

On Fri, 17 Jan 1997 18:50:02 -0800, "John M. Aldrich"
<fighteer AT cs DOT com> wrote:

> Eric Devolder wrote:
> > 
> > Hello, I'm back again.
> > 
> > I asked myself if it exist a version of 'man' for djgpp? otherwise, is it possible (with our without a few
> > modifications of the source code) to recompile the gnu version?
> 
> Probably, but you don't need it.  The Info browser that comes with the
> djgpp distribution (v2gnu/txi390b.zip) understands man pages and can
> display them and even print them out if necessary.  

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):

>>>
@echo off
set Dir=r:\djgpp\info\
if exist %Dir%%1.* goto DoType
set Dir=n:\misc\
if exist %Dir%%1.* goto DoType
set Dir=n:\misc\faqs
if exist %Dir%%1.* goto DoType
set Dir=n:\misc\gnu
if exist %Dir%%1.* goto DoType

echo Man.bat: No manpage found.
goto End

:DoType
u:\less %Dir%%1.*

:End
set Dir=
:: end of man.bat
<<<

The batch file searches in all directories where I have man pages or
text doc files and spills them out to stdout to have info display
them.

Regards...
		Michael

- Raw text -


  webmaster     delorie software   privacy  
  Copyright © 2019   by DJ Delorie     Updated Jul 2019