changeset 67513:375a247b599e

(Options for Comments): Comment-end starts with space.
author Richard M. Stallman <rms@gnu.org>
date Mon, 12 Dec 2005 00:57:01 +0000
parents 979dc92f05ce
children b33e99f74b5e
files man/programs.texi
diffstat 1 files changed, 5 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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