X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fposix-headers%2Fsetjmp.texi;h=07e6c5d5bf53fd0c9e70f1ace3297bbbfe7afdd5;hb=b14c9a8fe13af6d31cdd5cb0a2210eb6b5e8a620;hp=836389b8618451ffc429e698524c06c7fcbab431;hpb=80fc442c212439b65a2fba722b17529aba2aa1ae;p=pspp

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