[project @ 2005-07-21 12:54:33 by simonmar]

[project @ 2005-07-21 12:54:33 by simonmar]
Hack Makefiles so that 'make distclean' works even if the tree has not
been configured, or 'make distclean' has already been run.

This is to solve problems caused by 'make distclean' removing files
that it needs itself - previously we were arranging to remove certain
files right at the end of cleaning, but this is fragile.  So now we
assume that e.g. the X11 library is always enabled when we're
cleaning.