diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2019-11-21 22:02:37 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2019-11-21 22:02:37 +0200 |
| commit | 3e0eec7b43484fc639d8e78d3f64ae10939257ee (patch) | |
| tree | ad2e354c52331d2cbd6e33aa62fe408448069050 /doc/gawk.texi | |
| parent | fd610c79b51ecd3be2ad3af9169b030cd53927ac (diff) | |
| download | egawk-3e0eec7b43484fc639d8e78d3f64ae10939257ee.tar.gz egawk-3e0eec7b43484fc639d8e78d3f64ae10939257ee.tar.bz2 egawk-3e0eec7b43484fc639d8e78d3f64ae10939257ee.zip | |
Doc update. The time extension is now obsolete.
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index 2ae6d564..12841fde 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -38120,6 +38120,16 @@ if (contents == "" && ERRNO != "") @{ @node Extension Sample Time @subsection Extension Time Functions +@quotation CAUTION +As @command{gawk} @value{PVERSION} 5.1.0, this extension is considered to be obsolete. +It is replaced by the @code{timex} extension in @code{gawkextlib} +(@pxref{gawkextlib}). + +For @value{PVERSION} 5.1, no warning will be issued if this extension is used. +For the next major release, a warning will be issued. In the release after that +this extension will be removed from the distribution. +@end quotation + The @code{time} extension adds two functions, named @code{gettimeofday()} and @code{sleep()}, as follows: |