stop installing duplicate docs; tweak installed files; Add info manual to doc-base

[gnulib.git] / doc / glibc-headers / paths.texi

diff --git a/doc/glibc-headers/paths.texi b/doc/glibc-headers/paths.texi
index d0e15fd..fd7090b 100644 (file)
--- a/doc/glibc-headers/paths.texi
+++ b/doc/glibc-headers/paths.texi
@@ -13,7 +13,7 @@ Portability problems not fixed by Gnulib:
 @itemize
 @item
 This header file is missing on some platforms:
-Minix 3.1.8, HP-UX 11, Solaris 11 2010-11, mingw, BeOS.
+Minix 3.1.8, HP-UX 11, Solaris 11 2010-11, mingw, MSVC 9, BeOS.
 @item
 The set of @code{_PATH_*} macros is platform dependent.
 @end itemize