diff options
| author | Thomas Fitzsimmons | 2016-11-01 05:00:25 -0400 |
|---|---|---|
| committer | Thomas Fitzsimmons | 2016-11-02 06:11:43 -0400 |
| commit | 5043e0a7e06dbf6507a59736e55bdde69d9a2a4e (patch) | |
| tree | 2d383cc2b4217eef5960d175fcfcd75c5a80705f | |
| parent | 26038aa676afd867a5e194590f673351a3da0f64 (diff) | |
| download | emacs-5043e0a7e06dbf6507a59736e55bdde69d9a2a4e.tar.gz emacs-5043e0a7e06dbf6507a59736e55bdde69d9a2a4e.zip | |
Fix documentation for 'eudc-options-file'
* doc/misc/eudc.texi (The Server Hotlist): Update the default
value of 'eudc-options-file'.
Backport:
(cherry picked from commit 0575fd95d0b92a9a0ebff8df183a449190f74dbc)
| -rw-r--r-- | doc/misc/eudc.texi | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/doc/misc/eudc.texi b/doc/misc/eudc.texi index 87cfab627ae..1bbb108b8ba 100644 --- a/doc/misc/eudc.texi +++ b/doc/misc/eudc.texi | |||
| @@ -783,12 +783,11 @@ Add the current server to the hotlist of servers | |||
| 783 | @end deffn | 783 | @end deffn |
| 784 | 784 | ||
| 785 | @defvar eudc-options-file | 785 | @defvar eudc-options-file |
| 786 | The name of a file where EUDC stores its internal variables | 786 | The name of a file where EUDC stores its internal variables (the |
| 787 | (the hotlist and the current server). EUDC will try to load | 787 | hotlist and the current server). EUDC will try to load that file upon |
| 788 | that file upon initialization so, if you choose a file name | 788 | initialization so, if you choose a file name different from the |
| 789 | different from the defaults @file{~/.eudc-options}, be sure to set this | 789 | defaults @file{~/.emacs.d/eudc-options}, be sure to set this variable |
| 790 | variable to the appropriate value @emph{before} EUDC is itself | 790 | to the appropriate value @emph{before} EUDC is itself loaded. |
| 791 | loaded. | ||
| 792 | @end defvar | 791 | @end defvar |
| 793 | 792 | ||
| 794 | @menu | 793 | @menu |