Re: @smallverbatim

[Christopher Dimech]

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" <gavinsmith0123@gmail.com>
> To: "Christopher Dimech" <dimech@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]
>
>