diff options
| -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 |