diff options
| -rw-r--r-- | Doc/Zsh/options.yo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Zsh/options.yo b/Doc/Zsh/options.yo index ffeca7db9..1d0c7a24f 100644 --- a/Doc/Zsh/options.yo +++ b/Doc/Zsh/options.yo @@ -576,7 +576,7 @@ Remove superfluous blanks from each command line being added to the history list. ) pindex(HIST_SAVE_BY_COPY) -item(tt(HIST_SAVE_BY_COPY))( +item(tt(HIST_SAVE_BY_COPY) <D>)( When the history file is re-written, we normally write out a copy of the file named $HISTFILE.new and then rename it over the old one. However, if this option is unset, we instead truncate the old |