Dnia 2013-03-19, o godz. 22:35:59 Bastien <b...@altern.org> napisał(a):
> Hi Marcin, > > Marcin Borkowski <mb...@wmi.amu.edu.pl> writes: > > > Just a n00b's (and IANAL's) 2cents here: what about including the > > GFDL in, say 5pt font? Yes, it is awful, but at least does not > > take up dozens of pages... > > Yes -- but I don't know how to set the font to 5pt in .texi files. > AFAIK, you can change the font _globally_ to @fonttextsize 10 or 11, > but not for one section only and not below 10pt... I'd be glad to be > wrong of course ! > What about @tex \global\font\legalese=cmr5\global\legalese @end tex ... @tex \global\rm @end tex ? (Note: I'm not a TeXinfo expert - just skimmed through the manual and used my plain TeX powah from the old times I didn't use LaTeX;).) Best, -- Marcin Borkowski http://octd.wmi.amu.edu.pl/en/Marcin_Borkowski Adam Mickiewicz University
