Re: @smallverbatim

[Gavin Smith]

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]