X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fposix-headers%2Ftime.texi;h=5b2320338f4ce6864d1df6a5e826b3694dac62e9;hb=ca2c85799ac5e86ba2d93a6b0628648177984e21;hp=7c20e91b312c2d8d107a31018d5da7f54b7f567c;hpb=80fc442c212439b65a2fba722b17529aba2aa1ae;p=pspp

diff --git a/doc/posix-headers/time.texi b/doc/posix-headers/time.texi
index 7c20e91b31..5b2320338f 100644
--- a/doc/posix-headers/time.texi
+++ b/doc/posix-headers/time.texi
@@ -1,7 +1,7 @@
 @node time.h
 @section @file{time.h}
 
-POSIX specification:@* @url{http://www.opengroup.org/susv3xbd/time.h.html}
+POSIX specification:@* @url{http://www.opengroup.org/onlinepubs/9699919799/basedefs/time.h.html}
 
 Gnulib module: time