[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: @small* commands alias in HTML are problematic
|
From: |
Werner LEMBERG |
|
Subject: |
Re: @small* commands alias in HTML are problematic |
|
Date: |
Sun, 31 Jan 2021 15:28:02 +0100 (CET) |
>> IMHO, the 'smallness' is more than just a stylistic thing. While
>> mainly used for horizontally large examples, another application
>> could be to mark paragraphs as 'technical' or the like, to be
>> skipped by ordinary users.
>
> It would be good to see if anybody was using a @small* command for
> this. I don't [think] this usage has ever been recommended.
Well, the cat bites its tail here. Because it is not recommended,
nobody is using it, and people avoid the invention of new use-cases to
not abuse the texinfo markup...
Our LilyPond PDF manuals contain almost 3000 pages in total (counting
only the English version) – having small paragraphs and the like would
be definitely useful.
Werner