Was not a request for consistency. I find the @small versions more useful because the customary one makes the text too big. For instance, a quotation is much better when using @smallquotation.
I needed to use verbatim as it does not expand commands, but needed the small version. > Sent: Saturday, October 24, 2020 at 12:41 PM > From: "Gavin Smith" <gavinsmith0...@gmail.com> > To: "Christopher Dimech" <dim...@gmx.com> > Cc: "help-texinfo gnu" <help-texinfo@gnu.org> > Subject: Re: @smallverbatim > > 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] > >