system_data_types.7: srcfix: add comment noting time_t difference in POSIX.1-2001

Paul Eggert commented on a patch that proposed to note the
POSIX.2001 details:

    No actual POSIXish implementation ever made it a
    real-floating type, though, and that point should be made
    lest some conscientious programmer worry about a nonexistent
    porting issue.

We opted to drop the patch, but in case someone else points out
this POSIX.1-2001 difference in the future, let's leave a comment
in the page source.

Reported-by: Paul Eggert <eggert@cs.ucla.edu>
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>

diff --git a/man7/system_data_types.7 b/man7/system_data_types.7
index 8a894b2e0e1aea32b2eda5ca92b965d048c99d95..285b720f72ca88fc8f5abd5f647543d4b7baae11 100644 (file)
--- a/man7/system_data_types.7
+++ b/man7/system_data_types.7
@@ -1229,6 +1229,10 @@ or
 .PP
 Used for time in seconds.
 According to POSIX, it shall be an integer type.
+.\" In POSIX.1-2001, the type was specified as being either an integer
+.\" type or a real-floating type. However, existing implementations
+.\" used an integer type, and POSIX.1-2008 tightened the specification
+.\" to reflect this.
 .PP
 Versions:
 .I <sched.h>