# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1006709830 0
# Node ID 0bac781ea0d631ad59cc3f5ad42d81ae9a9f8075
# Parent  933ab100fb4a820639ed56f3ceccfd9f394a43d4
Undo previous change.

diff -r 933ab100fb4a -r 0bac781ea0d6 man/programs.texi
--- a/man/programs.texi	Sun Nov 25 15:17:24 2001 +0000
+++ b/man/programs.texi	Sun Nov 25 17:37:10 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.
 
-@cindex @code{comment-indent-function} property
+@vindex comment-indent-function
   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