Re: print from texi file

[Harry Putnam]

address@hidden (Karl Berry) writes:

>     whats the smooth technique to go from grub.texi to
>     printing a double sided manual?
>
> Here's one way:
>
> texi2dvi grub.texi  -- generate grub.dvi.  
> dvips grub -o       -- generate grub.ps.
> lpr grub.ps         -- print it
>
> Many variations are possible.
>
> As for double-sided, that's up to your printer.  You can use dvips -A
> and -B to print only the even and odd pages, if need be.

Thanks for the walk thru Karl