Prints the indicated DVI file.
You can print the file even after moving to another folder.
This item is initially disabled; the file name changes after you
select a DVI file via ``Print DVI ...'' or ``View DVI ...'',
or create a DVI file by running TEX.