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

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.

- Raw text -