Re: print from texi file

[Karl Berry]

    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.

Hope this helps,
k