[Axiom-developer] other GCL versions

[Tim Daly]

Bill,

In answer to your implied question about deleting files from CVS
this appears to work:

cvs update                  make sure you have the latest
cd (where)                  go to the file's directory
rm filename                 remove the file first
cvs delete filename         tell cvs to delete the file
cd (top)                    go to the top level directory containing CVS
cvs ci -m"removed filename" do a checkin

Tim