Re: scrunched paragraph text if no blank line before @smallexample

[Karl Berry]

Hi John,

    neglect to put in a blank line above the @smallexample command, the
    text in the preceding paragraph gets too tightly kerned together.

Thanks for the report.  I updated ftp://tug.org/tex/texinfo.tex with the
fix below.

karl


--- texinfo.tex 5 Dec 2006 19:36:48 -0000       1.224
+++ texinfo.tex 22 Dec 2006 17:19:35 -0000
@@ -5284,4 +5284,9 @@
 \def\setnormaldispenv{%
   \ifx\SETdispenvsize\smallword
+    % end paragraph for sake of leading, in case document has no blank
+    % line.  This is redundant with what happens in \aboveenvbreak, but
+    % we need to do it before changing the fonts, and it's inconvenient
+    % to change the fonts afterward.
+    \ifnum \lastpenalty=10000 \else \endgraf \fi
     \smallexamplefonts \rm
   \fi
@@ -5290,4 +5295,5 @@
   \ifx\SETdispenvsize\nosmallword
   \else
+    \ifnum \lastpenalty=10000 \else \endgraf \fi
     \smallexamplefonts \rm
   \fi