Add note that `gmake clean' should *not* destroy the work of `gmake boot'.
In all cases, the sequence autoconf, ./configure, gmake boot, gmake clean,
gmake all should work correctly.

** Please verify that this is indeed the case! **