> I did have 'delete' in my supfile.  I do however not sup directly
> from sup.netbsd.org, and I supped directly into a 1.2 source tree.
> As far as I know, the manual removal of the above two files should
> not really be necessary, but...

It _is_ necessary, since sup won't delete files you did not receive
through it (i.e. the two files mentioned above).

-kjk