From: Karl Berry Date: Tue, 14 Mar 2006 23:15:29 +0000 (+0000) Subject: update from texinfo X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=38757e265f03539a7e2c3e952ec90be3ef230f23;hp=198f177f8ec3627eb87359d708b072f42a8de6d5;p=pspp update from texinfo --- diff --git a/build-aux/texinfo.tex b/build-aux/texinfo.tex index b685fbc5c4..dddd0140ff 100644 --- a/build-aux/texinfo.tex +++ b/build-aux/texinfo.tex @@ -6527,7 +6527,7 @@ where each line of input produces a line of output.} % above and below. \nobreak\vskip\parskip \nobreak - \line\bgroup\hss + \line\bgroup \fi % % Output the image. @@ -6540,7 +6540,7 @@ where each line of input produces a line of output.} \epsfbox{#1.eps}% \fi % - \ifimagevmode \hss \egroup \bigbreak \fi % space after the image + \ifimagevmode \egroup \bigbreak \fi % space after the image \endgroup}