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