diff options
Diffstat (limited to 'extension/time.3am')
| -rw-r--r-- | extension/time.3am | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/extension/time.3am b/extension/time.3am index 42d9bf35..aeb59199 100644 --- a/extension/time.3am +++ b/extension/time.3am @@ -1,4 +1,4 @@ -.TH TIME 3am "Aug 08 2012" "Free Software Foundation" "GNU Awk Extension Modules" +.TH TIME 3am "Jan 15 2013" "Free Software Foundation" "GNU Awk Extension Modules" .SH NAME time \- time functions for gawk .SH SYNOPSIS @@ -13,7 +13,7 @@ ret = sleep(amount) The .I time extension adds two functions named -.BR gettimeofday() . +.B gettimeofday() and .BR sleep() , as follows. @@ -51,6 +51,7 @@ printf "Pausing for a while... " ; sleep(2.5) ; print "done" .IR filefuncs (3am), .IR fnmatch (3am), .IR fork (3am), +.IR inplace (3am), .IR ordchr (3am), .IR readdir (3am), .IR readfile (3am), @@ -64,7 +65,7 @@ printf "Pausing for a while... " ; sleep(2.5) ; print "done" Arnold Robbins, .BR arnold@skeeve.com . .SH COPYING PERMISSIONS -Copyright \(co 2012 +Copyright \(co 2012, 2013, Free Software Foundation, Inc. .PP Permission is granted to make and distribute verbatim copies of |