@node sys/times.h
@section @file{sys/times.h}
-POSIX specification: @url{http://www.opengroup.org/susv3xbd/sys/times.h.html}
+POSIX specification:@* @url{http://www.opengroup.org/susv3xbd/sys/times.h.html}
-Gnulib module: ---
+Gnulib module: sys_times
Portability problems fixed by Gnulib:
@itemize
+@item
+This header file is missing on some platforms:
+mingw.
@end itemize
Portability problems not fixed by Gnulib:
@itemize
-@item
-This header file is missing on some platforms:
-mingw.
@end itemize