# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1134349021 0
# Node ID 375a247b599ed38929a923c8a63efa52d1123437
# Parent  979dc92f05ceff3612457b2a56f066d42e9d0ec6
(Options for Comments): Comment-end starts with space.

diff -r 979dc92f05ce -r 375a247b599e man/programs.texi
--- a/man/programs.texi	Mon Dec 12 00:56:19 2005 +0000
+++ b/man/programs.texi	Mon Dec 12 00:57:01 2005 +0000
@@ -1022,9 +1022,11 @@
 @vindex comment-end
   When a comment command makes a new comment, it inserts the value of
 @code{comment-start} to begin it.  The value of @code{comment-end} is
-inserted after point, so that it will follow the text that you will insert
-into the comment.  In C mode, @code{comment-start} has the value
-@w{@code{"/* "}} and @code{comment-end} has the value @w{@code{" */"}}.
+inserted after point, so that it will follow the text that you will
+insert into the comment.  When @code{comment-end} is non-empty, it
+should start with a space.  For example, in C mode,
+@code{comment-start} has the value @w{@code{"/* "}} and
+@code{comment-end} has the value @w{@code{" */"}}.
 
 @vindex comment-padding
   The variable @code{comment-padding} specifies how many spaces