Re: [help-texinfo] changing font size in hardcopy

[Laurence Finston]

On Fri, 18 Mar 2005, Karl Berry wrote:

>     Probably a very basic question, bu how to change the font size of the
>     dvi output?
>
> Unfortunately, there is no easy way to change the font sizes.  I can't
> come up with a recipe off the top of my head, except to change the
> numbers in texinfo.tex.  Maybe someone else on the list has tackled this

Is there a reason why `\magnification' wouldn't work?  I don't have time
to test this myself at the moment.  It wouldn't be ideal, but at least the
print would be bigger.

Laurence