generates a file which will be installed as DRIVERS.TXT in the floppies directory so that users know which device drivers are included on drivers.flp, and whether or not they need to worry about it. Reviewed by: ru Approved by: re
