(Defining Variables): Fix doc of `user-variable-p'.

This commit is contained in:
Juanma Barranquero 2005-06-29 02:14:41 +00:00
parent 606cdb8902
commit 9a6abc8e67

View file

@ -569,7 +569,7 @@ though being declared using @code{defcustom}@footnote{They may also be
declared equivalently in @file{cus-start.el}.} or by the first character
of their @code{variable-documentation} property. If the property exists
and is a string, and its first character is @samp{*}, then the variable
is a user option.
is a user option. Aliases of user options are also user options.
@end defun
@kindex variable-interactive