From adc93f6097615f16d57e8a24a256302f2144ec4e Mon Sep 17 00:00:00 2001 From: rsc Date: Fri, 14 Jan 2005 17:37:50 +0000 Subject: cut out the html - they're going to cause diffing problems. --- man/man1/time.html | 63 ------------------------------------------------------ 1 file changed, 63 deletions(-) delete mode 100644 man/man1/time.html (limited to 'man/man1/time.html') diff --git a/man/man1/time.html b/man/man1/time.html deleted file mode 100644 index 4646754f..00000000 --- a/man/man1/time.html +++ /dev/null @@ -1,63 +0,0 @@ - -time(1) - Plan 9 from User Space - - - - -
-
-
TIME(1)TIME(1) -
-
-

NAME
- -
- - time – time a command
- -
-

SYNOPSIS
- -
- - time command [ arg ... ]
- -
-

DESCRIPTION
- -
- - The command is executed with the given arguments; after it is - complete, time reports on standard error the program’s elapsed - user time, system time, and real time, in seconds, followed by - the command line.
- -
-

SOURCE
- -
- - /usr/local/plan9/src/cmd/time.c
- -
-

SEE ALSO
- -
- - prof(1)
- -
- -

 -
-
- - -
-
-
-Space Glenda -
-
- - -- cgit v1.2.3