diff options
author | Karl Berry <karl@gnu.org> | 1998-06-24 11:45:50 +0000 |
---|---|---|
committer | Karl Berry <karl@gnu.org> | 1998-06-24 11:45:50 +0000 |
commit | f1069531396c969ef966803b393bb6748f1df004 (patch) | |
tree | 834a9de14c943b6132b8818b9ac897c5a1807deb /texinfo.tex | |
parent | 54727192c0c9ff00c4a1abf453b34f00bdeb68b3 (diff) | |
download | gunmake-f1069531396c969ef966803b393bb6748f1df004.tar.gz |
* texinfo.tex (\dots, \enddots): Missing \leavevmode.
Report from: Thomas Esken <esken@nmlab.informatik.fh-dortmund.de>
Date: Tue, 23 Jun 1998 14:22:27 +0200 (MET DST)
Diffstat (limited to 'texinfo.tex')
-rw-r--r-- | texinfo.tex | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/texinfo.tex b/texinfo.tex index 6e17548..50f84a8 100644 --- a/texinfo.tex +++ b/texinfo.tex @@ -100,7 +100,7 @@ \ifx\putwordAppendix\undefined \gdef\putwordAppendix{Appendix}\fi \ifx\putwordChapter\undefined \gdef\putwordChapter{Chapter}\fi \ifx\putwordfile\undefined \gdef\putwordfile{file}\fi -\ifx\putwordInfo\undefined \gdef\putwordfile{Info}\fi +\ifx\putwordInfo\undefined \gdef\putwordInfo{Info}\fi \ifx\putwordMethodon\undefined \gdef\putwordMethodon{Method on}\fi \ifx\putwordon\undefined \gdef\putwordon{on}\fi \ifx\putwordpage\undefined \gdef\putwordpage{page}\fi @@ -598,15 +598,19 @@ where each line of input produces a line of output.} % We do .5em per period so that it has the same spacing in a typewriter % font as three actual period characters. % -\def\dots{\hbox to 1.5em{% - \hskip 0pt plus 0.25fil minus 0.25fil - .\hss.\hss.% - \hskip 0pt plus 0.5fil minus 0.5fil -}} +\def\dots{% + \leavevmode + \hbox to 1.5em{% + \hskip 0pt plus 0.25fil minus 0.25fil + .\hss.\hss.% + \hskip 0pt plus 0.5fil minus 0.5fil + }% +} % @enddots{} is an end-of-sentence ellipsis. % \def\enddots{% + \leavevmode \hbox to 2em{% \hskip 0pt plus 0.25fil minus 0.25fil .\hss.\hss.\hss.% @@ -617,7 +621,7 @@ where each line of input produces a line of output.} % @page forces the start of a new page - +% \def\page{\par\vfill\supereject} % @exdent text.... |