On Sat, Jul 01, 2000 at 09:57:09AM +0200, Fr�d�ric Delacroix wrote:
> On 30-Juin-00, Jose Romildo Malaquias wrote:
>
> JRM> Have you come to a solution to you problem discussed below?
> JRM> If yes, would you mind mailing me and/or the help-texinfo
> JRM> list about it. I am also interested in a way of using different
> JRM> font sizes (smaller or greater) then the default ones.
>
> Yes I have. I've been hacking through texinfo.tex and basically multiplied
> all magstep dimensions by 1.2^{-1}. For most of them I just adjusted the
> \magstep factor down by 1: \magstep3 -> \magstep2 etc.
>
> On some occasions I had to scale the font manually, ie when the size was
> given in points.
What does "scale the font manually" mean? I suppose you have recalculated
the scale factor for commands like \rmshape{9}{1000} and edited the
texinfo.tex file accordingly. (Or has it involved any font file
manipulation?)
> I also changed all fonts to sans-serifs versions and had to replace some of
> them which don't exist at some nominal sizes (ie cmss12) to scaled 10pt.
Should I have any concerns regarding the font sizes changes when switching
to PostScript fonts (using a patch that was mailed to the list once ago)?
> It's not that difficult, but you need to know a little about plain. If
> anyone's interested I can put my version on this list (but it's based on
> texinfo 2.222 !).
Please, make your version available.
Is there any reason for not using the latest texinfo package? I hope it
will be easy to bring your patch into the latest texinfo.
Thanks.
Romildo
--
Prof. Jos� Romildo Malaquias <[EMAIL PROTECTED]>
Departamento de Computa��o
Universidade Federal de Ouro Preto
Brasil
