Changed done() from returning void to returning int so that main()s who call
[mmh] / man / dp.man
1999-04-30 Doug MorrisInitial revision