RE: cvs commit: fptools/green-card/distrib INSTALL

=20
> Sven asks:
> > Can we rename fptools/green-card to fptools/greencard, too?=20
> This would
> > be much more consistent and would simplify e.g. my autoconf=20
> fiddling.
> > If we agree on this, I would favour "cvs remove" + "cvs=20
> add" instead of
> > CVS surgery by hand. We still have the history after a=20
> remove/add, but
> > would lose consistency (e.g. for "cvs -D...") after surgery.
>=20
> I'm in favour of this.  (These days, my preferred spelling is=20
> Greencard (not=20
> Green-card or GreenCard.)
>=20
> SimonM has displayed cvs expertise in the past but I can=20
> apply the obvious cvs remove/add approach.

I'd go for cvs add/remove.  I know of ways to do a rename which
preserves the history *and* keeps the proper 'cvs -D' behaviour, but
such things are likely to confuse tools which try to interpret our CVS
repository in the future (I hope one day we'll move from CVS to
something better).

Cheers,
	Simon