Re: @smallbook and friends

[Karl Berry]

    I'd like to make my intent clear, for the unlikely case that someone
    will come up with a feasible solution.

Well, it could be done in makeinfo-land, if and when makeinfo outputs
tex, since makeinfo has the whole example at hand and can read it to
find the longest line.

    > But I think that could be a little too automatic.  It could lead to a
    > document where every example is at a slightly different size--ugh.

    If we use only a small number of distinct sizes, the probability of
    this is very small, I think.

Like I said, if one example is 10pt, the next 8pt, the next 9pt, it will
look bad.  And that would have a very high probability of happening if
users use @sizedexample for every example.  Therefore they shouldn't do
that, and deserve what they get if they do.

@sizedexample is really only useful, as far as I can tell, when you have
a really long example and you don't want to rewrite it. 

    Sure, but some might find the task not very easy.  I'm guessing that
    many Texinfo users don't know enough about TeX and Metafont to compute
    a font size that would prevent overfull hboxes for a given line
    length.  (I'm one of those unfortunates.)

Certainly, but Stephen wasn't suggesting that authors define a point
size.  Calculating the type size clearly wouldn't be done by an author.