diff options
| -rw-r--r-- | doc/lispref/os.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/lispref/os.texi b/doc/lispref/os.texi index 585ae678842..44dd3bbb63c 100644 --- a/doc/lispref/os.texi +++ b/doc/lispref/os.texi | |||
| @@ -146,7 +146,7 @@ the tool bar even if the current frame is not a graphical one, since a | |||
| 146 | graphical frame may be created later on. | 146 | graphical frame may be created later on. |
| 147 | 147 | ||
| 148 | @item | 148 | @item |
| 149 | It use @code{custom-reevaluate-setting} to re-initialize the members | 149 | It uses @code{custom-reevaluate-setting} to re-initialize the members |
| 150 | of the list @code{custom-delayed-init-variables}. These are any | 150 | of the list @code{custom-delayed-init-variables}. These are any |
| 151 | pre-loaded user options whose default value depends on the run-time, | 151 | pre-loaded user options whose default value depends on the run-time, |
| 152 | rather than build-time, context. | 152 | rather than build-time, context. |