Contains the names of all DVI printer driver specification files found in the
TeXDrivers drawer. Note that the number of spec files is limited
by the vertical size of the screen on which the TEXPrt program will open its window.
The maximum length of the driver names is 64, although it may happen that
the menu cannot be created with large names of less than 64 characters.
In both cases TEXPrt will exit and report that the menu structure could
not have been built. So make sure that neither there are too many
spec files in the TeXDrivers drawer nor that the driver names are too long.