[Bug #1170422] Use correct option name

diff --git a/Doc/dist/dist.tex b/Doc/dist/dist.tex
index 93cc59cfc2d1a4c4532f043409ae07cc9da9c79c..69b75a628bd7f99de36d356cba6457c783d7f5a8 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