(Options for Comments): Comment-end starts with space.

diff --git a/man/programs.texi b/man/programs.texi
index d5b608a288c95fd8d1cca0988190be12c2d61f0f..6444a3a6a47a61579608fe86f3c85c0e708d4f2a 100644 (file)
--- a/man/programs.texi
+++ b/man/programs.texi
@@ -1022,9 +1022,11 @@ in regexp syntax.  @xref{Regexp Backslash}.)
 @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