# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1006656712 0
# Node ID d2bb6314f74a9ad15631573a4dde8e52b5820871
# Parent  41ef4373121eba7cc57344b70fe6604172017f07
Fix index entry for comment-indent-function.

diff -r 41ef4373121e -r d2bb6314f74a man/programs.texi
--- a/man/programs.texi	Sun Nov 25 02:42:37 2001 +0000
+++ b/man/programs.texi	Sun Nov 25 02:51:52 2001 +0000
@@ -1062,7 +1062,7 @@
 the new line.  In languages where multi-line comments work, the choice
 of value for this variable is a matter of taste.
 
-@vindex comment-indent-function
+@cindex @code{comment-indent-function} property
   The variable @code{comment-indent-function} should contain a function
 that will be called to compute the indentation for a newly inserted
 comment or for aligning an existing comment.  It is set differently by