Print ?.dvi

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.