Shell Print Using lpr -d

You can print a DVI file with the DVI print command. The precise printing command to use depends on your system; `lpr -d' is common. The DVI print command may require a file name without any extension or with a `.dvi' extension.

The following commands, for example, sort the indices, format, and print the Bison Manual (where `%' is the shell prompt):

% tex bison.texinfo
% texindex bison.??
% tex bison.texinfo
% lpr -d bison.dvi

(Remember that the shell commands may be different at your site; but these are commonly used versions.)

Using the texi2dvi shell script, you simply need type:

% texi2dvi bison.texinfo
% lpr -d bison.dvi