diff options
| author | Juanma Barranquero | 2005-06-29 02:14:41 +0000 |
|---|---|---|
| committer | Juanma Barranquero | 2005-06-29 02:14:41 +0000 |
| commit | 9a6abc8e67ec5d01102d093fa846d1d1bf2064f5 (patch) | |
| tree | 71abbb6f58ba57f4b579a7b0c229909d6df742e4 | |
| parent | 606cdb8902753c80cc588fb4b0f7016d67e809d1 (diff) | |
| download | emacs-9a6abc8e67ec5d01102d093fa846d1d1bf2064f5.tar.gz emacs-9a6abc8e67ec5d01102d093fa846d1d1bf2064f5.zip | |
(Defining Variables): Fix doc of `user-variable-p'.
| -rw-r--r-- | lispref/variables.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lispref/variables.texi b/lispref/variables.texi index d58fc8e7540..38fb929c16d 100644 --- a/lispref/variables.texi +++ b/lispref/variables.texi | |||
| @@ -569,7 +569,7 @@ though being declared using @code{defcustom}@footnote{They may also be | |||
| 569 | declared equivalently in @file{cus-start.el}.} or by the first character | 569 | declared equivalently in @file{cus-start.el}.} or by the first character |
| 570 | of their @code{variable-documentation} property. If the property exists | 570 | of their @code{variable-documentation} property. If the property exists |
| 571 | and is a string, and its first character is @samp{*}, then the variable | 571 | and is a string, and its first character is @samp{*}, then the variable |
| 572 | is a user option. | 572 | is a user option. Aliases of user options are also user options. |
| 573 | @end defun | 573 | @end defun |
| 574 | 574 | ||
| 575 | @kindex variable-interactive | 575 | @kindex variable-interactive |