Add an index entry.

Bow to font lock.

diff --git a/Doc/lib/libppath.tex b/Doc/lib/libppath.tex
index 86b5a3453209340b055aff5be6d7c567f6fda299..728fe3613b9a2b36d2cc58e249b20b0fc776534a 100644 (file)
--- a/Doc/lib/libppath.tex
+++ b/Doc/lib/libppath.tex
@@ -5,9 +5,9 @@
 This module implements some useful functions on \POSIX{} pathnames.
 
 \strong{Do not import this module directly.}  Instead, import the
-module \module{os} and use \code{os.path}.
-\refstmodindex{os}
+module \module{os}\refstmodindex{os} and use \code{os.path}.
 
+\index{path!operations}
 
 \begin{funcdesc}{basename}{p}
 Return the base name of pathname
@@ -33,7 +33,8 @@ refers to an existing path.
 \begin{funcdesc}{expanduser}{p}
 Return the argument with an initial component of \samp{\~} or
 \samp{\~\var{user}} replaced by that \var{user}'s home directory.  An
-initial \samp{\~{}} is replaced by the environment variable \code{\${}HOME};
+initial \samp{\~{}} is replaced by the environment variable
+\code{\${}HOME}; % $  <-- bow to font-lock
 an initial \samp{\~\var{user}} is looked up in the password directory through
 the built-in module \module{pwd}\refbimodindex{pwd}.  If the expansion
 fails, or if the path does not begin with a tilde, the path is