Printing texinfo to US letter size paper