I think that misc/admin/admin.makefile should be removed from CVS. It is autogenerated from misc/admin/admin.makefile.in by ./configure , so the version that is in CVS is of no use to anyone. Having it in CVS just adds noise to the outputs of "cvs update" and "cvs diff", and could create pointless merge conflicts if misc/admin/admin.makefile.in changes. Comments?
Regards, Jeremy Henty _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
