It seems that in texinfo-4.2 (I didn't find a newer pretest?)
@smallexample uses the same default font as @example does, although
the doc says:
`@smallexample'
Same as `@example', except that in TeX this command typesets text
in a smaller font.
See patch below.
If you put this in, would you accept a patch that adds @smallverbatim
and @smallverbatiminclude (if that's easily possible)?
Greetings,
Jan.
ChangeLog
2002-07-23 Jan Nieuwenhuizen <[EMAIL PROTECTED]>
* doc/texinfo.tex: Select \smallerfonts for @smallexample.
--- doc/texinfo.tex~ 2002-03-26 17:29:26.000000000 +0100
+++ doc/texinfo.tex 2002-07-22 03:27:47.000000000 +0200
@@ -4385,7 +4385,7 @@ width0pt\relax} \fi
% @smalldisplay. Too bad, but makeinfo will catch the error anyway.
%
\def\smalldisplay{\begingroup\def\Esmalldisplay{\nonfillfinish\endgroup}\display}
-\def\smallexample{\begingroup\def\Esmallexample{\nonfillfinish\endgroup}\lisp}
+\def\smallexample{\begingroup\smallerfonts\def\Esmallexample{\nonfillfinish\endgroup}\lisp}
\def\smallformat{\begingroup\def\Esmallformat{\nonfillfinish\endgroup}\format}
\def\smalllisp{\begingroup\def\Esmalllisp{\nonfillfinish\endgroup}\lisp}
--
Jan Nieuwenhuizen <[EMAIL PROTECTED]> | GNU LilyPond - The music typesetter
http://www.xs4all.nl/~jantien | http://www.lilypond.org
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
