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
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo
[email protected]
http://lists.gnu.org/mailman/listinfo/help-texinfo
