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.)
texi2dvi shell script, you simply need type:
% texi2dvi bison.texinfo % lpr -d bison.dvi
Go to the first, previous, next, last section, table of contents.