Consistently use \POSIX{} to denote POSIX.  There were at least two different
ways to do it previously (not counting module names).
diff --git a/Doc/lib/libposix.tex b/Doc/lib/libposix.tex
index 803cbbc..ddd467b 100644
--- a/Doc/lib/libposix.tex
+++ b/Doc/lib/libposix.tex
@@ -3,7 +3,7 @@
 \bimodindex{posix}
 
 This module provides access to operating system functionality that is
-standardized by the C Standard and the POSIX standard (a thinly disguised
+standardized by the C Standard and the \POSIX{} standard (a thinly disguised
 \UNIX{} interface).
 
 \strong{Do not import this module directly.}  Instead, import the
@@ -19,7 +19,7 @@
 \refstmodindex{os}
 
 The descriptions below are very terse; refer to the corresponding
-\UNIX{} manual (or POSIX documentation) entry for more information.
+\UNIX{} manual (or \POSIX{} documentation) entry for more information.
 Arguments called \var{path} refer to a pathname given as a string.
 
 Errors are reported as exceptions; the usual exceptions are given
@@ -52,8 +52,8 @@
 
 \renewcommand{\indexsubitem}{(exception in module posix)}
 \begin{excdesc}{error}
-This exception is raised when a POSIX function returns a
-POSIX-related error (e.g., not for illegal argument types).  Its
+This exception is raised when a \POSIX{} function returns a
+\POSIX{}-related error (e.g., not for illegal argument types).  Its
 string value is \code{'posix.error'}.  The accompanying value is a
 pair containing the numeric error code from \code{errno} and the
 corresponding string, as would be printed by the C function
@@ -214,7 +214,7 @@
 \end{funcdesc}
 
 \begin{funcdesc}{mkfifo}{path\optional{\, mode}}
-Create a FIFO (a POSIX named pipe) named \var{path} with numeric mode
+Create a FIFO (a \POSIX{} named pipe) named \var{path} with numeric mode
 \var{mode}.  The default \var{mode} is 0666 (octal).  The current
 umask value is first masked out from the mode.
 (Not on MS-DOS.)