Date: Tue, 4 Feb 2003 07:46:50 +0200 (IST) From: Eli Zaretskii X-Sender: eliz AT is To: DJ Delorie cc: djgpp-workers AT delorie DOT com Subject: Re: /djgpp/manifest In-Reply-To: <200302031902.h13J2km02587@envy.delorie.com> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Reply-To: djgpp-workers AT delorie DOT com Errors-To: nobody AT delorie DOT com X-Mailing-List: djgpp-workers AT delorie DOT com X-Unsubscribes-To: listserv AT delorie DOT com Precedence: bulk On Mon, 3 Feb 2003, DJ Delorie wrote: > > I don't think manifest/* files are only for human consumption. IIRC, > > there are some programs that look at them. So maybe we do need to > > check-in the recent evrsions of those files into the CVS. > > There are programs that read them, but they're generated files. They > shouldn't be in CVS. If they aren't in the CVS, how would Joe Random Hacker who checks out the CVS version get them? IIRC, they are created only by the scripts that build dj*.zip files on delorie.com.