Does anyone know how to change the font size for DVI/PDF output. The
default base font size seems to be 10 points and I would like to change
it to 11 points.
Actually the default in Texinfo is 11pt -- more precisely magstephalf,
10.95pt.
If you want to increase it, edit texinfo.tex and change the definition
of \mainmagstep to your desired size.
HTH,
karl
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo
[email protected]
http://lists.gnu.org/mailman/listinfo/help-texinfo
