|
| From: | Henri Lesourd |
| Subject: | Re: [Texmacs-dev] Suggestion: remove misc/admin/admin.makefile from CVS |
| Date: | Sat, 17 May 2008 22:17:44 +0200 |
| User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7) Gecko/20040616 |
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 ;-)...
| [Prev in Thread] | Current Thread | [Next in Thread] |