%%name: time

%%short-description: Reports the user, system, and real time used by a process

%%full-description: The 'time' command runs another program, then
displays information about the resources used by that program,
collected by the system while the program was running. You can select
which information is reported and the format in which it is shown, or
have 'time' save the information in a file instead of displaying it on
the screen.

%%category: administration

%%license: GPL

%%maintainer: djm@gnu.org

%%interface: Command line

%%updated: 23 Feb 2000

%%programs: 

%%GNU: yes

%%web-page: http://www.gnu.org/software/time/time.html

%%support:

%%doc: user's Guide Inclucded
 
%%developers: David Keppel, David MacKenzie 

%%contributors: Arne Henrik Juul, Francois Pinard

%%sponsors: 

%%source: ftp://ftp.gnu.org/pub/gnu/time

%%debian:

%%redhat:

%%repository:

%%related: 

%%source-language: C

%%supported-languages:

%%use-requirements: 

%%build-prerequisites: 

%%weak-prerequisites:

%%source-prerequisites:

%%version: 1.7 released 11 Jul 1996 

%%announce-list: 

%%announce-news:

%%help-list: 

%%help-news: 

%%dev-list: 

%%dev-news: 

%%bug-list: bug-gnu-utils@gnu.org










 




