aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/time.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/time.scm')
-rw-r--r--gnu/packages/time.scm4
1 files changed, 1 insertions, 3 deletions
diff --git a/gnu/packages/time.scm b/gnu/packages/time.scm
index cfb3261f94..8d55905eec 100644
--- a/gnu/packages/time.scm
+++ b/gnu/packages/time.scm
@@ -49,9 +49,7 @@
(string-append "--prefix=" out)))))
%standard-phases)))
(home-page "http://www.gnu.org/software/time/")
- (synopsis
- "GNU Time, a tool that runs programs and summarizes the system
-resources they use")
+ (synopsis "Run a command, then display its resource usage")
(description
"The 'time' command runs another program, then displays information
about the resources used by that program, collected by the system while