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

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

- Raw text -