Hello Jose
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.
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.
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 !).
Regards,
Fr�d�ric.
--
You can't take away the people's right to be stupid.
e-mail: [EMAIL PROTECTED]
__ Amiga 1200 Tower Micronik Infinitiv2 + Catweasel MK2 / Kylwada
/// Blizzard 1230IV SCSI-II/40Mo FAST/FPU 68882
/// HD 405Mo (IDE) + HD 200/100Mo/40Mo (SCSI)
__ /// Microvitec 1438S multisync monitor Modem USR Sportster V34
\\\/// Iomega ZIP 100 SCSI Scanner Epson GT-5500
\/// Printers Canon BJ200, Canon BJC 4400
