# HG changeset patch
# User Thien-Thi Nguyen <ttn@gnuvola.org>
# Date 1144447837 0
# Node ID 85e6a1c82a5440edaf37f24774578ea533f6ed6a
# Parent  a80d40a59be61646bf015cde15265afaf35b3da5
(Other Display Specs): Arrange a @code{DOTTED-LIST} to
be on one line to help makeinfo not render two spaces after the dot.

diff -r a80d40a59be6 -r 85e6a1c82a54 lispref/display.texi
--- a/lispref/display.texi	Fri Apr 07 21:06:12 2006 +0000
+++ b/lispref/display.texi	Fri Apr 07 22:10:37 2006 +0000
@@ -3500,9 +3500,13 @@
 faces used for the text.
 @end table
 
+@c We put all the `@code{(when ...)}' on one line to encourage
+@c makeinfo's end-of-sentence heuristics to DTRT.  Previously, the dot
+@c was at eol; the info file ended up w/ two spaces rendered after it.
   You can make any display specification conditional.  To do that,
-package it in another list of the form @code{(when @var{condition} .
-@var{spec})}.  Then the specification @var{spec} applies only when
+package it in another list of the form
+@code{(when @var{condition} . @var{spec})}.
+Then the specification @var{spec} applies only when
 @var{condition} evaluates to a non-@code{nil} value.  During the
 evaluation, @code{object} is bound to the string or buffer having the
 conditional @code{display} property.  @code{position} and