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

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

- Raw text -