It has been suggested already that `rm -- --remove-files` is the proper way, but `rm ??remove-files` will also do the trick (but could erase a lot more, so watch out)!
Cheers, Viktor -- Viktor Rosenfeld WWW: http://www.informatik.hu-berlin.de/~rosenfel/
