texmacs-dev
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


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.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]