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

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.

- Raw text -