Remove all references to posixpath; only refer to os.path.

Formalize the xstat() documentation.

Doc/mac/libmac.tex

@@ -40,18 +40,15 @@ The following modules are documented here:
 
 
 \section{\module{mac} ---
-         Similar interfaces to the \module{posix} module.}
+         Implementations for the \module{os} module}
 \declaremodule{builtin}{mac}
 
-\modulesynopsis{Similar interfaces to the \module{posix} module.}
+\modulesynopsis{Implementations for the \module{os} module.}
 
 
-This module provides a subset of the operating system dependent
-functionality provided by the optional built-in module \module{posix}.
-It is best accessed through the more portable standard module
-\module{os}.
-\refbimodindex{posix}
-\refstmodindex{os}
+This module implements the operating system dependent functionality
+provided by the standard module \module{os}\refstmodindex{os}.  It is
+best accessed through the \module{os} module.
 
 The following functions are available in this module:
 \function{chdir()},
@@ -74,25 +71,25 @@ as well as the exception \exception{error}. Note that the times
 returned by \function{stat()} are floating-point values, like all time
 values in MacPython.
 
-One additional function is available: \function{xstat()}. This function
-returns the same information as \function{stat()}, but with three extra
-values appended: the size of the resource fork of the file and its
-4-character creator and type.
+One additional function is available:
+
+\begin{funcdesc}{xstat}{path}
+  This function returns the same information as \function{stat()}, but
+  with three additional values appended: the size of the resource fork
+  of the file and its 4-character creator and type.
+\end{funcdesc}
 
 
 \section{\module{macpath} ---
-         MacOS path manipulation functions.}
+         MacOS path manipulation functions}
 \declaremodule{standard}{macpath}
 
 \modulesynopsis{MacOS path manipulation functions.}
 
 
-This module provides a subset of the pathname manipulation functions
-available from the optional standard module \module{posixpath}.  It is
-best accessed through the more portable standard module \module{os}, as
-\code{os.path}.
-\refstmodindex{posixpath}
-\refstmodindex{os}
+This module is the Macintosh implementation of the \module{os.path}
+module.  It is most portably accessed as \module{os.path}.
+\refstmodindex{os.path}
 
 The following functions are available in this module:
 \function{normcase()},
@@ -104,5 +101,5 @@ The following functions are available in this module:
 \function{isfile()},
 \function{walk()},
 \function{exists()}.
-For other functions available in \module{posixpath} dummy counterparts
+For other functions available in \module{os.path} dummy counterparts
 are available.