Date: Tue, 4 Aug 1998 10:03:36 +0300 (IDT)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To: Martin Str|mberg <ams AT ludd DOT luth DOT se>
cc: djgpp AT delorie DOT com
Subject: Re: Bash info and man
In-Reply-To: <6q5j79$k8$1@news.luth.se>
Message-ID: <Pine.SUN.3.91.980804100136.5924M-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Precedence: bulk


On 4 Aug 1998, Martin Str|mberg wrote:

> Eli Zaretskii (eliz AT is DOT elta DOT co DOT il) wrote:
> : 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.
> 
> ? Where have you seen that?

At some point, all configure scripts where defaulting to 
${prefix}/share/man.  But it seems they have abandoned that, and I didn't 
keep up.  Sorry for misinformation.

> Linux is also GNU and there the man pages are below man.

No, Linux is *not* GNU.  They just use a lot of GNU software, but it 
doesn't mean the directory hierarchy is identical.