X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fglibc-headers%2Fargz.texi;h=6b7bdc7ba8c340fdc3a79662d2c8231cd6015bad;hb=ca2c85799ac5e86ba2d93a6b0628648177984e21;hp=b9a7147236bee3ea92c766f1ec30af002a6453a1;hpb=cd19e83484e2c0ff9fd68e7439dd97128c6a2703;p=pspp

diff --git a/doc/glibc-headers/argz.texi b/doc/glibc-headers/argz.texi
index b9a7147236..6b7bdc7ba8 100644
--- a/doc/glibc-headers/argz.texi
+++ b/doc/glibc-headers/argz.texi
@@ -20,7 +20,7 @@ Portability problems fixed by Gnulib:
 @itemize
 @item
 This header file is missing on some platforms:
-MacOS X 10.5, FreeBSD 6.0, NetBSD 5.0, OpenBSD 3.8, AIX 5.1, HP-UX 11, IRIX 6.5, OSF/1 5.1, Solaris 11 2010-11, mingw, Interix 3.5, BeOS.
+MacOS X 10.5, FreeBSD 6.0, NetBSD 5.0, OpenBSD 3.8, Minix 3.1.8, AIX 5.1, HP-UX 11, IRIX 6.5, OSF/1 5.1, Solaris 11 2010-11, mingw, Interix 3.5, BeOS.
 @item
 The argz functions do not work on some platforms:
 Cygwin.