]> git.ipfire.org Git - thirdparty/make.git/commitdiff
* texinfo.tex (\imagexxx): Add some space around the image if it's
authorKarl Berry <karl@gnu.org>
Tue, 14 Jul 1998 19:03:08 +0000 (19:03 +0000)
committerKarl Berry <karl@gnu.org>
Tue, 14 Jul 1998 19:03:08 +0000 (19:03 +0000)
  by itself.

texinfo.tex

index 7c24ab7cab2761c4687d7c66aa6de692359ba7f9..fef899b24e6c65e48ef655d74446a34d87d93d02 100644 (file)
@@ -5110,7 +5110,10 @@ width0pt\relax} \fi
   \setbox0 = \hbox{\ignorespaces #3}\ifdim\wd0 > 0pt \epsfysize=#3\relax \fi
   % If the image is by itself, center it.
   \ifvmode
+    \nobreak\medskip
+    \nobreak
     \centerline{\epsfbox{#1.eps}}%
+    \bigbreak
   \else
     \epsfbox{#1.eps}%
   \fi