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 _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
