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