|
From: | August Karlstrom |
Subject: | Re: [help-texinfo] Changing font size for dvi/pdf output |
Date: | Fri, 18 Nov 2005 00:24:32 +0100 |
User-agent: | Mozilla Thunderbird 1.0.7 (X11/20051013) |
Karl Berry wrote:
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.
OK, thanks. August
[Prev in Thread] | Current Thread | [Next in Thread] |