Re: [O] GFDL

[Marcin Borkowski]

Dnia 2013-03-19, o godz. 22:35:59
Bastien <address@hidden> napisał(a):

> Hi Marcin,
> 
> Marcin Borkowski <address@hidden> 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