[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Texmacs-dev] Suggestion: remove misc/admin/admin.makefile from CVS
From: |
Jeremy Henty |
Subject: |
Re: [Texmacs-dev] Suggestion: remove misc/admin/admin.makefile from CVS |
Date: |
Sat, 17 May 2008 22:23:02 +0100 |
User-agent: |
Mutt/1.5.14 (2007-02-12) |
On Sat, May 17, 2008 at 10:17:44PM +0200, Henri Lesourd wrote:
> Jeremy Henty wrote:
>
> >In other words I'm actually agreeing with Henri about how things
> >*should* be, my point is that currently misc/admin/admin.makefile
> >is being handled differently, and it shouldn't be.
> >
> I don't know if the proposition "agreeing with Henri" has a well
> defined semantics, for currently, my views on all this build system
> are somehow fuzzy, to say the least ;-)...
But..., but..., you seemed so *knowledgeable*! :-) :-) :-)
Anyway, to clarify, rightly or wrongly I *read* Henri's reply as
saying "the build system treats all these files the same way" and my
reply was to argue "yes in general it does, but in this case it
doesn't, although it should".
This concerns me because I am sticking closely to CVS and I also have
a few local patches, so I invest some effort in checking the output of
"cvs update" and "cvs diff" to make sure I know what is going on,
which makes it a little annoying that there seems to be spurious junk
in there that a simple cleanup would remove.
Regards,
Jeremy Henty