From: mdruiter AT cs DOT vu DOT nl (Ruiter de M)
Newsgroups: comp.os.msdos.djgpp
Subject: Re: Bash info and man
Date: 3 Aug 1998 11:53:38 GMT
Organization: Fac. Wiskunde & Informatica, VU, Amsterdam
Lines: 28
Message-ID: <6q48c2$f7r$1@star.cs.vu.nl>
References: <Pine DOT SUN DOT 3 DOT 91 DOT 980802174111 DOT 13566A-100000 AT is>
NNTP-Posting-Host: sloep06.cs.vu.nl
To: djgpp AT delorie DOT com
DJ-Gateway: from newsgroup comp.os.msdos.djgpp
Precedence: bulk

Eli Zaretskii (eliz AT is DOT elta DOT co DOT il) wrote:
> There's no djgpp/man. If you at all have a man directory, it should
> be in djgpp/share/man.

Why? I find %DJDIR%/man as reasonable, with %DJDIR% mimicing the UNIX'
standard prefix (/usr/local). (%DJDIR%/share and %DJDIR%/lang don't
fit in that scheme.)
 
> All DJGPP packages that I know install man pages into the info directory,
> so you should be just fine without the special man directory.

I think man-pages should not be in the Info dir. Man in man, Info in
info.

> Seems like the GCC 2.8.x distribution.  If so, then this is wrong.  
> DJGPP.ENV sets things up to have man under share,

If you follow the instructions in (man12[sb].zip)README, that is. It
is not in the standard DJGPP.ENV (yet).

> so that's how the packages should install their man pages: either in
> %DJDIR%/share/man or in %DJDIR%/info.

-- 
Groeten, Michel.        http://www.cs.vu.nl/~mdruiter
  ____________
  \  /====\  /          "You know, Beavis, you need things that suck,
   \/      \/           to have things that are cool", Butt-Head.