Fix: smallexample selects \smallerfonts

[Jan Nieuwenhuizen]

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:

    address@hidden'
         Same as address@hidden', 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  <address@hidden>

        * 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 <address@hidden> | GNU LilyPond - The music typesetter
http://www.xs4all.nl/~jantien       | http://www.lilypond.org