diff options
| author | Karl Berry <karl@gnu.org> | 1998-07-14 19:03:08 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1998-07-14 19:03:08 +0000 |
| commit | 411a01acce76d1824806fe7465048ca452c9b3c5 (patch) | |
| tree | 95023f2fee218c193a2a46306ee96e7817aed3ed | |
| parent | 33654a7af4ac3d965e0470862177ef6d7d84a911 (diff) | |
| download | gunmake-411a01acce76d1824806fe7465048ca452c9b3c5.tar.gz | |
* texinfo.tex (\imagexxx): Add some space around the image if it's
by itself.
| -rw-r--r-- | texinfo.tex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/texinfo.tex b/texinfo.tex index 7c24ab7..fef899b 100644 --- a/texinfo.tex +++ b/texinfo.tex @@ -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 |