[Bug #1170422] Use correct option name

diff --git a/Doc/dist/dist.tex b/Doc/dist/dist.tex
index dc978481c9406cc952cf4fc4b434ec1fe9fbc193..0020c9d18d17aae93aef464772456f8087ed555b 100644 (file)
--- a/Doc/dist/dist.tex
+++ b/Doc/dist/dist.tex
@@ -403,7 +403,7 @@ any compile/link requirements (include directories, libraries to link
 with, etc.).
 
 All of this is done through another keyword argument to
-\function{setup()}, the \option{extensions} option.  \option{extensions}
+\function{setup()}, the \option{ext_modules} option.  \option{ext_modules}
 is just a list of \class{Extension} instances, each of which describes a
 single extension module.  Suppose your distribution includes a single
 extension, called \module{foo} and implemented by \file{foo.c}.  If no