Missing doc on time cmd in man/csh.1

[utzoo!decvax!harpo!utah-cs!lepreau]

The csh man entry does not document the "time" command and not every
field's meaning is obvious, as Alan Watt noted.  I finally stumbled
across the doc in the csh tutorial, section 2.8.  It should be added to
the man entry.  Here's the slightly edited info from the tut (in
/usr/doc/csh/csh.2, search for "swap").

The time command can be used to cause a command to be timed no matter
how much CPU time it takes.  Thus
        % time cp /etc/rc /usr/bill/rc
          0.0u 0.1s 0:01 8% 2+1k 3+2io 1pf+0w

indicates that the cp command used a  negligible  amount  of user  time 
(u)  and  about 1/10th of a system time (s); the elapsed time was 1 
second  (0:01),  there  was  an  average memory  usage  of  2k bytes of
program space and 1k bytes of data space over the cpu time involved 
(2+1k);  the  program did  three  disk reads and two disk writes
(3+2io), and took one page fault and was not swapped (1pf+0w).  The
percentage `8%'  indicates  that over the period when it was active the
command `cp' used an average of 8 percent of  the  available CPU cycles
of the machine.

-Jay Lepreau