Patch #1479438: add \keyword markup for "with".
diff --git a/Doc/ref/ref3.tex b/Doc/ref/ref3.tex
index 7b4089d..d22448c 100644
--- a/Doc/ref/ref3.tex
+++ b/Doc/ref/ref3.tex
@@ -2149,9 +2149,9 @@
than writing individual \method{__enter__()} and \method{__exit__()}
methods on a separate object when the state to be managed is complex.
-With statement context objects also need to implement this method; they
-are required to return themselves (that is, this method will simply
-return \var{self}).
+\keyword{with} statement context objects also need to implement this
+method; they are required to return themselves (that is, this method
+will simply return \var{self}).
\end{methoddesc}
\begin{methoddesc}[with statement context]{__enter__}{self}
diff --git a/Doc/ref/ref7.tex b/Doc/ref/ref7.tex
index 180e22f..4453e87 100644
--- a/Doc/ref/ref7.tex
+++ b/Doc/ref/ref7.tex
@@ -315,7 +315,7 @@
\versionadded{2.5}
The \keyword{with} statement is used to wrap the execution of a block
-with methods defined by a context manager or with statement context
+with methods defined by a context manager or \keyword{with} statement context
object (see section~\ref{context-managers}). This allows common
\keyword{try}...\keyword{except}...\keyword{finally} usage patterns to
be encapsulated for convenient reuse.
@@ -332,7 +332,7 @@
\item The context expression is evaluated, to obtain a context manager.
\item The context manger's \method{__context__()} method is
-invoked to obtain a with statement context object.
+invoked to obtain a \keyword{with} statement context object.
\item The context object's \method{__enter__()} method is invoked.