diff options
| -rw-r--r-- | ChangeLog | 3 | ||||
| -rw-r--r-- | Doc/Zsh/params.yo | 4 |
2 files changed, 6 insertions, 1 deletions
@@ -1,5 +1,8 @@ 2007-10-25 Peter Stephenson <pws@csr.com> + * c.f. users/12110: Doc/Zsh/params.yo: desperately try to + get the $SECONDS documentation correct. + * c.f. users/12109: Doc/Zsh/params.yo: tweak to SECONDS documentation for clarity. diff --git a/Doc/Zsh/params.yo b/Doc/Zsh/params.yo index 01a4a7f8e..0094ee080 100644 --- a/Doc/Zsh/params.yo +++ b/Doc/Zsh/params.yo @@ -662,7 +662,9 @@ since the assignment. Unlike other special parameters, the type of the tt(SECONDS) parameter can be changed using the tt(typeset) command. Only integer and one of the floating point types are allowed. For example, `tt(typeset -F SECONDS)' -causes the value to be reported as a floating point number. See +causes the value to be reported as a floating point number. The +value is available to microsecond accuracy, although the shell may +show more or fewer digits depending on the use of tt(typeset). See the documentation for the builtin tt(typeset) in ifzman(zmanref(zshbuiltins))\ ifnzman(noderef(Shell Builtin Commands)) for more details. |