DOC HOME
SITE MAP
MAN PAGES
GNU INFO
SEARCH
PRINT BOOK
time
'time' not found in section 5, but available here:
/usr/man/html.1/time.1.html
/usr/man/html.1tcl/time.1tcl.html
/usr/man/html.2/time.2.html