[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Texmacs-dev] Suggestion: remove misc/admin/admin.makefile from CVS
From: |
Jeremy Henty |
Subject: |
[Texmacs-dev] Suggestion: remove misc/admin/admin.makefile from CVS |
Date: |
Sat, 17 May 2008 18:10:08 +0100 |
User-agent: |
Mutt/1.5.14 (2007-02-12) |
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] Suggestion: remove misc/admin/admin.makefile from CVS,
Jeremy Henty <=