From d74e16312111cc7b6b25cc282f133900ca99ddb8 Mon Sep 17 00:00:00 2001 From: Wayne Davison Date: Thu, 9 Mar 2006 18:13:47 +0000 Subject: Added missing for HIST_SAVE_BY_COPY. --- Doc/Zsh/options.yo | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Doc/Zsh/options.yo') 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) )( 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 -- cgit v1.2.3