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=7974cea2c3dbc06d39fcb20a37a8ba286e09e83a;hpb=2f5181b1a247323cb2a4a4c6165997674866bb20;p=pspp

diff --git a/doc/posix-headers/time.texi b/doc/posix-headers/time.texi
index 7974cea2c3..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