Hello,
I'm using texinfo 2.222 and I'm looking for a way to make it use smaller
fonts (my manual is 135 pages and I want it smaller). I'd like to use
eight point fonts for the main text.
I didn't see in the docs a way to do this at the document level, and I'm
confused when looking at texinfo.tex: what should I change ? Is there a
global variable I could alter (can I do this at the document level ?) or
should I change all sizes manually ?
Thanks for any help,
Fr�d�ric.
--
If lunatics had wings, this place would be an airport.
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
