(time.info)Top
Time
****
This file documents the the GNU 'time' command for running programs and
summarizing the system resources they use. Version UNKNOWN
Resource Measurement- Measuring program resource use.
Reporting bugs- Sending bug reports and feature suggestions.
GNU Free Documentation License- Copying and sharing this documentation.
Concept index- Index of concepts.
automatically generated by info2www version 1.2.2.9