Jeremy Henty wrote:
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?
This is the same for 'configure' itself (which is created from configure.in) and a bunch of other files which must be created by means of autoconf, autoheader, etc. _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
