From: Andre Noll <maan@tuebingen.mpg.de>
Date: Thu, 2 Jun 2016 12:12:51 +0000 (+0200)
Subject: manual: Remove pointless "time" prefix.
X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=211878a851f22e46c5fa56ead86f043b50c00712;p=adu.git

manual: Remove pointless "time" prefix.

The stated example command works, but since this is the manual for adu,
let's focus on adu features here.
---

diff --git a/adu.1.inc b/adu.1.inc
index b8be2e1..fe48d4e 100644
--- a/adu.1.inc
+++ b/adu.1.inc
@@ -18,7 +18,7 @@ the user-summary:
 The command below prints the five largest directories of the users root and
 mysql:
 .IP
-	$ time adu --select --database-dir /root/adu-var --select-options '--select-mode user_list --user root --user mysql --limit 5'
+	$ adu --select --database-dir /root/adu-var --select-options '--select-mode user_list --user root --user mysql --limit 5'
 
 [SEE ALSO]
 .BR du (1)