
The files in $OBSOLETE in Makefile must be moved into ./obsolete and
then removed from CVS.
