This file is not used in the tree. With some suspicion, I pinged DJ Delorie to see if it was used by DJGPP and he said that it can be removed. Okay to commit? 2003-11-29 Ben Elliston <bje@wasabisystems.com> * doschk.c: Remove. Ben