Date: Tue, 4 Aug 1998 11:11:57 +0200 (WET)
From: Andris Pavenis <pavenis AT lanet DOT lv>
To: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
cc: Martin Str|mberg <ams AT ludd DOT luth DOT se>, djgpp AT delorie DOT com
Subject: Re: Bash info and man
In-Reply-To: <Pine.SUN.3.91.980804100136.5924M-100000@is>
Message-ID: <Pine.A32.3.91.980804105854.222976A-100000@ieva05.lanet.lv>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Precedence: bulk



On Tue, 4 Aug 1998, Eli Zaretskii wrote:

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

I have build many GNU packages under Linux (much more than for DJGPP) and 
all as I have found installs man pages in subdirectories under $prefix/man
(usually prefix=/usr or prefix=/usr/local). 

Now I looked for man directories under /usr/share and /usr/local/share
and found nothing. That means that none of the packages I have compiled
installed manual pages under $prefix/share/man

There are some of packages (simply for example, list is not complete):
   	egcs-980727   (egcs-2.91.51)
	sed-3.0.1     havent build 3.0.2 yet
        patch-2.5.3   
	mc-4.1.35
	gpm-1.14
	make-3.77
	dejagnu-980528
    (and much more ...)

Andris