donote() previously was written such that it could return garbage.
[mmh] / h /
1999-07-16 Dan HarklessChanged done() from returning void to returning int...
1999-04-30 Doug MorrisInitial revision