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