diff options
author | Zachary Ware <zachary.ware@gmail.com> | 2014-04-18 20:45:02 (GMT) |
---|---|---|
committer | Zachary Ware <zachary.ware@gmail.com> | 2014-04-18 20:45:02 (GMT) |
commit | dee46b370e9856e6bbeb624513cd2fb2fa0dbdf2 (patch) | |
tree | c027577b005f0231857aaa3e050575ba269f19fa | |
parent | 172f025bed3cca992c1d4d9fe93d4cd8bee92392 (diff) | |
parent | a37ff0fb80d59946c74af874c8dcc6d629541852 (diff) | |
download | cpython-dee46b370e9856e6bbeb624513cd2fb2fa0dbdf2.zip cpython-dee46b370e9856e6bbeb624513cd2fb2fa0dbdf2.tar.gz cpython-dee46b370e9856e6bbeb624513cd2fb2fa0dbdf2.tar.bz2 |
Merge with 3.4
-rw-r--r-- | Doc/README.txt | 2 | ||||
-rw-r--r-- | Doc/make.bat | 6 | ||||
-rw-r--r-- | Misc/ACKS | 1 |
3 files changed, 5 insertions, 4 deletions
diff --git a/Doc/README.txt b/Doc/README.txt index cb57e61..c5737ad 100644 --- a/Doc/README.txt +++ b/Doc/README.txt @@ -81,7 +81,7 @@ Without make Install the Sphinx package and its dependencies from PyPI. -Then, from the ``Docs`` directory, run :: +Then, from the ``Doc`` directory, run :: sphinx-build -b<builder> . build/<builder> diff --git a/Doc/make.bat b/Doc/make.bat index 0b5b56e..838820f 100644 --- a/Doc/make.bat +++ b/Doc/make.bat @@ -1,7 +1,8 @@ @@echo off setlocal -if "%PYTHON%" EQU "" set PYTHON=py -2 +if "%SPHINXBUILD%" EQU "" set SPHINXBUILD=sphinx-build +if "%PYTHON%" EQU "" set PYTHON=py if "%HTMLHELP%" EQU "" set HTMLHELP=%ProgramFiles%\HTML Help Workshop\hhc.exe if "%DISTVERSION%" EQU "" for /f "usebackq" %%v in (`%PYTHON% tools/sphinxext/patchlevel.py`) do set DISTVERSION=%%v @@ -32,8 +33,7 @@ goto end if not exist build mkdir build if not exist build\%1 mkdir build\%1 if not exist build\doctrees mkdir build\doctrees -cmd /C %PYTHON% --version -cmd /C %PYTHON% tools\sphinx-build.py -b%1 -dbuild\doctrees . build\%* +cmd /C %SPHINXBUILD% -b%1 -dbuild\doctrees . build\%* if "%1" EQU "htmlhelp" "%HTMLHELP%" build\htmlhelp\python%DISTVERSION:.=%.hhp goto end @@ -1154,6 +1154,7 @@ Mark Sapiro Ty Sarna Hugh Sasse Bob Savage +Dave Sawyer Ben Sayer sbt Marco Scataglini |