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

Sven asks:
> Can we rename fptools/green-card to fptools/greencard, too? This would
> be much more consistent and would simplify e.g. my autoconf fiddling.
> If we agree on this, I would favour "cvs remove" + "cvs add" instead of
> CVS surgery by hand. We still have the history after a remove/add, but
> would lose consistency (e.g. for "cvs -D...") after surgery.

I'm in favour of this.  (These days, my preferred spelling is Greencard (not 
Green-card or GreenCard.)

SimonM has displayed cvs expertise in the past but I can apply the obvious cvs 
remove/add approach.

A