X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fposix-headers%2Fsemaphore.texi;h=ac997de05f17ab7bfaabf40c25d948cb4ee8839f;hb=ca2c85799ac5e86ba2d93a6b0628648177984e21;hp=9b75018ecbe6680e28bc40e3ee7c1a5925b174a1;hpb=80fc442c212439b65a2fba722b17529aba2aa1ae;p=pspp

diff --git a/doc/posix-headers/semaphore.texi b/doc/posix-headers/semaphore.texi
index 9b75018ecb..ac997de05f 100644
--- a/doc/posix-headers/semaphore.texi
+++ b/doc/posix-headers/semaphore.texi
@@ -1,7 +1,7 @@
 @node semaphore.h
 @section @file{semaphore.h}
 
-POSIX specification:@* @url{http://www.opengroup.org/susv3xbd/semaphore.h.html}
+POSIX specification:@* @url{http://www.opengroup.org/onlinepubs/9699919799/basedefs/semaphore.h.html}
 
 Gnulib module: ---
 
@@ -13,5 +13,5 @@ Portability problems not fixed by Gnulib:
 @itemize
 @item
 This header file is missing on some platforms:
-mingw, BeOS.
+Minix 3.1.8, mingw, BeOS.
 @end itemize