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

[Matthias Czapla]

Hi!

For your information and for the benefit of anyone searching the archives
for a solution to change the font size in Texinfo's dvi output I want to
note that it has finally succeeded.  After Karl gave me the hint to
change
\edef\mainmagstep{\magstephalf}
to
\edef\mainmagstep{900}
in the latest texinfo.tex it turned out to be really that simple.  In
my older version of texinfo.tex it's actually
\mainmagstep=\magstephalf
which I replaced with
\mainmagstep=1000

Thanks to all for your help!

Regards
Matthias