Make sure both hyphens of a long-option show up in the HTML output.

diff --git a/Doc/lib/libsys.tex b/Doc/lib/libsys.tex
index a8dbb08363acfc5343b6813249ff6e1cf07f81ff..932520de01b8a6967a6e4e9e2f1004c87becb87d 100644 (file)
--- a/Doc/lib/libsys.tex
+++ b/Doc/lib/libsys.tex
@@ -79,7 +79,7 @@ the other two are undefined.
 A string giving the site-specific
 directory prefix where the platform-dependent Python files are
 installed; by default, this is also \code{"/usr/local"}.  This can be
-set at build time with the \code{--exec-prefix} argument to the
+set at build time with the \code{-}\code{-exec-prefix} argument to the
 \program{configure} script.  Specifically, all configuration files
 (e.g. the \file{config.h} header file) are installed in the directory
 \code{exec_prefix + "/lib/python\var{version}/config"}, and shared library
@@ -165,7 +165,7 @@ components to \code{path}, for instance.
 A string giving the site-specific directory prefix where the platform
 independent Python files are installed; by default, this is the string
 \code{"/usr/local"}.  This can be set at build time with the
-\code{--prefix} argument to the \program{configure} script.  The main
+\code{-}\code{-prefix} argument to the \program{configure} script.  The main
 collection of Python library modules is installed in the directory
 \code{prefix + "/lib/python\var{version}"} while the platform
 independent header files (all except \file{config.h}) are stored in

diff --git a/Doc/libsys.tex b/Doc/libsys.tex
index a8dbb08363acfc5343b6813249ff6e1cf07f81ff..932520de01b8a6967a6e4e9e2f1004c87becb87d 100644 (file)
--- a/Doc/libsys.tex
+++ b/Doc/libsys.tex
@@ -79,7 +79,7 @@ the other two are undefined.
 A string giving the site-specific
 directory prefix where the platform-dependent Python files are
 installed; by default, this is also \code{"/usr/local"}.  This can be
-set at build time with the \code{--exec-prefix} argument to the
+set at build time with the \code{-}\code{-exec-prefix} argument to the
 \program{configure} script.  Specifically, all configuration files
 (e.g. the \file{config.h} header file) are installed in the directory
 \code{exec_prefix + "/lib/python\var{version}/config"}, and shared library
@@ -165,7 +165,7 @@ components to \code{path}, for instance.
 A string giving the site-specific directory prefix where the platform
 independent Python files are installed; by default, this is the string
 \code{"/usr/local"}.  This can be set at build time with the
-\code{--prefix} argument to the \program{configure} script.  The main
+\code{-}\code{-prefix} argument to the \program{configure} script.  The main
 collection of Python library modules is installed in the directory
 \code{prefix + "/lib/python\var{version}"} while the platform
 independent header files (all except \file{config.h}) are stored in