diff --git a/doc/install.html b/doc/install.html index e8bc7fb9..a944ea70 100644 --- a/doc/install.html +++ b/doc/install.html @@ -658,7 +658,8 @@ The URI of a property that can be used to associate an Individual with a user account. When a user logs in with a name that matches the value of this property, the user will be - authorized to edit that Individual. + authorized to edit that Individual + (the value of the property must be either a String literal or an untyped literal).