diff options
author | Richard M. Stallman <rms@gnu.org> | 2012-07-05 21:54:35 -0400 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2012-07-05 21:54:35 -0400 |
commit | 8c6c57ea627f1d32ec1564fc86851974b19f1cb8 (patch) | |
tree | dbd71573921d9cce5bf7eda39cade670477d6b62 /doc/lispref/intro.texi | |
parent | 251736f471c7b718cb8bbc4185118066b7035c60 (diff) | |
download | emacs-8c6c57ea627f1d32ec1564fc86851974b19f1cb8.tar.gz |
* doc/lispref/intro.texi (A Sample Variable Description): Use @dfn more.
Diffstat (limited to 'doc/lispref/intro.texi')
-rw-r--r-- | doc/lispref/intro.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/lispref/intro.texi b/doc/lispref/intro.texi index 0e8e0e5a8eb..a86079b1df2 100644 --- a/doc/lispref/intro.texi +++ b/doc/lispref/intro.texi @@ -446,9 +446,9 @@ from @var{body}, which includes all remaining elements of the form. @cindex option descriptions A @dfn{variable} is a name that can be bound to an object; binding -is frequently referred to as `setting', and the object to which -a variable is `set' is often called a `value' that the variable -`holds'. Although nearly all variables can be set by the user, +is frequently referred to as @dfn{setting}, and the object to which +a variable is set is often called a @dfn{value} that the variable +@dfn{holds}. Although nearly all variables can be set by the user, certain variables exist specifically so that users can change them; these are called @dfn{user options}. Ordinary variables and user options are described using a format like that for functions, except |