[PATCH] time: documentation of -p option is confusing

[Jonathan Nieder]

The GNU time manual says:

        -p, --portability
                Use the following format string, for conformance with
                POSIX standard 1003.2:

                        real %e
                        user %U
                        sys %S

which seems to suggest that POSIX 1003.2 requires that output
format.  Add some words of explanation to make it clearer that
POSIX only specifies the output format of 'time' when the -p
option is passed.

Reported-by: Bart Massey <address@hidden>
---
Hi all,

How about this patch?

See http://bugs.debian.org/511456 for the original report.

 time.texi |    8 ++++++--
 1 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/time.texi b/time.texi
index 8d5af92..9964ad5 100644
--- a/time.texi
+++ b/time.texi
@@ -176,8 +176,7 @@ Use @var{format} as the format string.
 
 @item -p
 @itemx --portability
-Use the following format string, for conformance with POSIX standard
-1003.2:
+Use the following format string:
 
 @example
 real %e
@@ -185,6 +184,11 @@ user %U
 sys %S
 @end example
 
+The default output format of time differs widely between
+implementations.  This option (in its short form -p) is supported by all
+POSIX-compliant 'time' implementations to retrieve basic information in
+the described format.
+
 @item -v
 @itemx --verbose
 @cindex format
-- 
1.7.4.1