Message-Id: <3.0.1.16.19980804082244.25871404@shadow.net>
Date: Tue, 04 Aug 1998 08:22:44
To: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
From: Ralph Proctor <ralphgpr AT shadow DOT net>
Subject: Re: Bash info and man
Cc: djgpp AT delorie DOT com
In-Reply-To: <Pine.SUN.3.91.980804100136.5924M-100000@is>
References: <6q5j79$k8$1 AT news DOT luth DOT se>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Precedence: bulk

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. The GNU men? or who?
I thought DJ and others like yourself controlled GNU--no, I guess that's
wrong, it's DJGPP, not GNU. ???
Anyway, there is GNU and there is DJGPP, right? What controls things as
mentioned above?

Ralph