Date: Thu, 11 Sep 1997 21:25:37 -0400 (EDT)
Message-Id: <199709120125.VAA02345@delorie.com>
From: DJ Delorie <dj AT delorie DOT com>
To: robert DOT hoehne AT mathematik DOT tu-chemnitz DOT de
CC: djgpp-workers AT delorie DOT com
In-reply-to: 
	<Pine DOT HPP DOT 3 DOT 95q DOT 970911160709 DOT 26119L-100000 AT newton DOT mathematik DOT tu-chemnitz DOT de>
	(message from Robert Hoehne on Thu, 11 Sep 1997 16:10:03 +0200
	(METDST))
Subject: Re: specs
Precedence: bulk


> We had some time ago a discussion what should go in a binary
> distribution and Eli said, that it should contain in general
> all the stuff, which is installed by the "make install" step,
> and when I remember correct, "make install" for gcc installs
> also an specs file.

It installs a file that represents the specs as gcc knows them, and
only for reference.  If you delete that specs file, there will be no
change in functionality of gcc (and it runs faster).  In the case of
DJGPP, DJGPP itself modifies the specs file to reprogram gcc to
function correctly in a djgpp environment.  Thus, the reason for the
existence of the specs file is djgpp, not gcc, so the file should be
distributed with djgpp, not gcc.