On Fri, Oct 23, 2020 at 02:37:01PM +0200, Christopher Dimech wrote: > Have been playing with @quotation, @example, @display, @format, @verbatim > and their small versions and found them all useful, particularly the small > versions. > > However, a small version of @verbatim is not present. It would help to also > have @smallverbatim.
It could be done (although somebody would have to do the work for it). In my opinion, however, the @small... variants should never have been invented, and consistency is not a great argument for adding more commands. My preferred solution would be to use @small... variants unconditionally for certain page sizes. I know it is not very flexible, but texinfo.tex has never been very flexible. For example, for B6: diff --git a/doc/texinfo.tex b/doc/texinfo.tex index 6c5754f3d..fb9b69d58 100644 --- a/doc/texinfo.tex +++ b/doc/texinfo.tex @@ -7663,13 +7663,13 @@ might help (with 'rm \jobname.?? \jobname.??s')% % without the active space; thus we have to use \xdef and \gobble. % The \egroup ends the \verbbox started at the end of the last line in % the block. \endgroup % \envdef\verbatim{% - \setupverbatim\doverbatim + \setnormaldispenv\setupverbatim\doverbatim } \let\Everbatim = \afterenvbreak % @verbatiminclude FILE - insert text of file in verbatim environment. % @@ -11489,12 +11489,13 @@ directory should work if nowhere else does.} \def\bsixpaper{{\globaldefs = 1 \afourpaper \internalpagesizes{140mm}{100mm}% {-6.35mm}{-12.7mm}% {\bindingoffset}{14pt}% {176mm}{125mm}% + \let\SETdispenvsize=\smallword \globaldefs = 0 }} % @pagesizes TEXTHEIGHT[,TEXTWIDTH]