Date: Mon, 3 Aug 1998 16:58:06 +0300 (IDT)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To: Ruiter de M <mdruiter AT cs DOT vu DOT nl>
cc: djgpp AT delorie DOT com
Subject: Re: Bash info and man
In-Reply-To: <6q48c2$f7r$1@star.cs.vu.nl>
Message-ID: <Pine.SUN.3.91.980803165440.3493C-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Precedence: bulk


On 3 Aug 1998, Ruiter de M wrote:

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

DJGPP usually follows the GNU organization, and there man is under 
${prefix}/share/.  It is customary with DJGPP builds to set ${prefix} to 
be %DJDIR%, thus the above recommendation.

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

I agree that it's a good idea, but try to enforce it on everybody who 
ports packages to DJGPP...