www.delorie.com/gnu/docs/texinfo/texinfo_213.html

search

	Buy the book! download html (204 k) texi (248 k) dvi (265 k) ps (544 k) ps2up (453 k) about these

Shell Print Using lpr -d

The precise command to print a DVI file depends on your system installation, but `lpr -d' is common. The command may require the DVI file name without any extension or with a `.dvi' extension. (If it is `lpr', you must include the `.dvi'.)

The following commands, for example, will (probably) suffice to sort the indices, format, and print the Bison Manual:

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

Go to the first, previous, next, last section, table of contents.

Please take a moment to fill out this visitor survey

You can help support this site by visiting the advertisers that sponsor it! (only once each, though)