# HG changeset patch
# User Juanma Barranquero <lekktu@gmail.com>
# Date 1120011281 0
# Node ID 6b1ddf9e6581903e8215ae5911b17141329bbef9
# Parent  090fb73237c3305d6ef0f4dfa4051f592d83c42a
(Defining Variables): Fix doc of `user-variable-p'.

diff -r 090fb73237c3 -r 6b1ddf9e6581 lispref/variables.texi
--- a/lispref/variables.texi	Wed Jun 29 02:08:32 2005 +0000
+++ b/lispref/variables.texi	Wed Jun 29 02:14:41 2005 +0000
@@ -569,7 +569,7 @@
 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