Problems with the German Maxima Manual



On 12/8/10 3:43 PM, Dieter Kaiser wrote:
> Am Mittwoch, den 08.12.2010, 15:34 -0500 schrieb Raymond Toy:
>> On 12/08/2010 12:41 PM, Dieter Kaiser wrote:
>>> The problem is that I do not know the best way to remove the files.
>>> Perhaps someone else can remove the files.
>> I think this is usually done (from the commandline) using "cvs rm
>> <files>".   This isn't enough, I think.  You need to run cvs commit to
>> make the actual removal happen.
>>
>> (I normally do this via pcl-cvs and emacs, so I'm not 100% sure about
>> the command line.)
> My problem is, that I use CVS only from the IDE Eclipse, but not from
> the command line. In Eclipse I do not see a possibility to remove a
> file.
>
Ok.  I'll remove them for you, if no one else has done it yet.

Ray