Date: Tue, 4 Aug 1998 16:36:04 +0300 (IDT)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To: Ralph Proctor <ralphgpr AT shadow DOT net>
cc: djgpp AT delorie DOT com
Subject: Re: Bash info and man
In-Reply-To: <3.0.1.16.19980804082244.25871404@shadow.net>
Message-ID: <Pine.SUN.3.91.980804163429.8681B-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Precedence: bulk


On Tue, 4 Aug 1998, Ralph Proctor wrote:

> At 10:03 AM 8/4/98 +0300, you wrote:
> >
> >At some point, all configure scripts where defaulting to 
> >${prefix}/share/man.  But it seems they have abandoned that, and I didn't 
> 
> Please clarify who "they" is.

Whoever sets the standards for the GNU project.

> I thought DJ and others like yourself controlled GNU

It's neither me nor DJ.  I don't know who is the person who sets these 
standards for the GNU project.  I won't be surprised if it's Richard 
Stallman himself.