[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Deprecate Texinfo commands

From: Werner LEMBERG
Subject: Re: Deprecate Texinfo commands
Date: Sun, 08 Nov 2020 06:07:20 +0100 (CET)

> @smallexample and friends.  Simpler to use @example instead.  If
> people desperately want to use smaller fonts in the printed output
> they could use
>   @set dispenvsize small
> instead, which is only used by texinfo.tex and doesn't affect
> anything else.

So what is the right way to make an environment display at a smaller
size in HTML output?  Sometimes examples have really long lines,
making horizontal screen scrolling uncomfortable...


reply via email to

[Prev in Thread] Current Thread [Next in Thread]