donote() previously was written such that it could return garbage.
[mmh] / Makefile.in
1999-04-30 Doug MorrisInitial revision