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

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.

- Raw text -