[Texmacs-dev] Suggestion: remove misc/admin/admin.makefile from CVS

[Jeremy Henty]

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