diff options
Diffstat (limited to 'extension')
| -rw-r--r-- | extension/ChangeLog | 4 | ||||
| -rw-r--r-- | extension/time.3am | 13 |
2 files changed, 16 insertions, 1 deletions
diff --git a/extension/ChangeLog b/extension/ChangeLog index d71ac219..f6dd4a4d 100644 --- a/extension/ChangeLog +++ b/extension/ChangeLog @@ -1,3 +1,7 @@ +2019-11-21 Arnold D. Robbins <arnold@skeeve.com> + + * time.3am: Document that this extension is now obsolete. + 2019-11-03 Arnold D. Robbins <arnold@skeeve.com> * readdir.3am: Document that readdir extension can cause a diff --git a/extension/time.3am b/extension/time.3am index 0b872c70..05f4646f 100644 --- a/extension/time.3am +++ b/extension/time.3am @@ -1,4 +1,4 @@ -.TH TIME 3am "Feb 02 2018" "Free Software Foundation" "GNU Awk Extension Modules" +.TH TIME 3am "Nov 21 2019" "Free Software Foundation" "GNU Awk Extension Modules" .SH NAME time \- time functions for gawk .SH SYNOPSIS @@ -9,6 +9,17 @@ time = gettimeofday() .br ret = sleep(amount) .ft R +.SH CAUTION +This extension is deprecated in favor of the +.B timex +extension in the +.I gawkextlib +project. In the next major release of +.IR gawk , +loading it will issue a warning. +It will be removed from the +.I gawk +distribution in the major release after the next one. .SH DESCRIPTION The .I time |