texmacs-dev
[Top][All Lists]
Advanced

[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 




reply via email to

[Prev in Thread] Current Thread [Next in Thread]