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=c7a45b2463dcb95458fbe934529fe0161c32b58b;hpb=2b6c08c775ae4e80b52aa41058ea5939f778b44b;p=pspp

diff --git a/doc/posix-headers/setjmp.texi b/doc/posix-headers/setjmp.texi
index c7a45b2463..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: ---