Hi
> > 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?)
Yes. Where the size was given in magstep unit I just decreased it by 1 unit
and where the size is given in points, I divided it "manually" by 1.2.
> > 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)?
I don't know. I think Postscript fonts are not designed with a nominal size
so this problem shouldn't occur with them.
> > 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.
It's really a quick and dirty hack, but here it is. My changes are marked
with my name.
> 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.
I had already made all the changes in the file I had and didn't want to do
it again since I use texinfo very scarcely.
Hope this will help.
Kind regards,
Fr�d�ric.
--
A verbal contract isn't worth the paper is written on.
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
texinfosmall.tex.gz
