Fixes overlapping boxes in docs: issue 1813

diff --git a/tex/texinfo.tex b/tex/texinfo.tex
index 91408263bc9c8ab0ad735c0974872d2f1cf58dc0..caab907e0ed808d5acee717a06bce3579d98e8a1 100644 (file)
--- a/tex/texinfo.tex
+++ b/tex/texinfo.tex
@@ -6051,6 +6051,12 @@ end
   \normbskip=\baselineskip \normpskip=\parskip \normlskip=\lineskip
   % Flag to tell @lisp, etc., not to narrow margin.
   \let\nonarrowing = t%
+  %
+  % If this cartouche directly follows a sectioning command, we need the
+  % \parskip glue (backspaced over by default) or the cartouche can
+  % collide with the section heading.
+  \ifnum\lastpenalty>10000 \vskip\parskip \fi
+  %
   \vbox\bgroup
       \baselineskip=0pt\parskip=0pt\lineskip=0pt
       \carttop