# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 808086330 0
# Node ID 4d6c32d4f7822be4d7f60ec89fd345876b1b1b16
# Parent  e6713915dd94500a7c095e81bffc60834126c650
Add index and xref to variable-interactive.

diff -r e6713915dd94 -r 4d6c32d4f782 lispref/variables.texi
--- a/lispref/variables.texi	Thu Aug 10 19:46:16 1995 +0000
+++ b/lispref/variables.texi	Thu Aug 10 20:25:30 1995 +0000
@@ -545,10 +545,11 @@
 then the variable is a user option.
 @end defun
 
+@kindex variable-interactive
   If a user option variable has a @code{variable-interactive} property,
 the @code{set-variable} command uses that value to control reading the
 new value for the variable.  The property's value is used as if it were
-the argument to @code{interactive}.
+to @code{interactive} (@pxref{Using Interactive}).
 
   @strong{Warning:} If the @code{defconst} and @code{defvar} special
 forms are used while the variable has a local binding, they set the