K 10 svn:author V 3 jkh K 8 svn:date V 27 1995-02-10T05:51:01.000000Z K 7 svn:log V 199 Merge in some cosmetic changes - clean the two kernel images we depend on when a `make clean' is done - prevents a Feb 2nd BOOTFLP kernel going onto a Feb 10th boot.flp, as now almost happened.. :-) END