X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=doc%2Fposix-headers%2Fsemaphore.texi;fp=doc%2Fposix-headers%2Fsemaphore.texi;h=ac997de05f17ab7bfaabf40c25d948cb4ee8839f;hb=ca2c85799ac5e86ba2d93a6b0628648177984e21;hp=e678780df05f767db06996d78ffc5c5868f58d04;hpb=cd19e83484e2c0ff9fd68e7439dd97128c6a2703;p=gnulib.git

diff --git a/doc/posix-headers/semaphore.texi b/doc/posix-headers/semaphore.texi
index e678780df..ac997de05 100644
--- a/doc/posix-headers/semaphore.texi
+++ b/doc/posix-headers/semaphore.texi
@@ -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