diff options
| author | Georg Brandl <georg@python.org> | 2012-11-03 17:33:03 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2012-11-03 17:33:03 +0100 |
| commit | 5f25f6236ffb07ff109956bd14eb32f8f1d8c2cc (patch) | |
| tree | e941dd4d0281c2995b3ec8d13c6347d74b44e8bc /sphinx | |
| parent | 6d4d582280541b2a9fc8587121ee3e60c11594e5 (diff) | |
| parent | 621270c2e032c0ccbe542473d85024115d1c2fc3 (diff) | |
| download | sphinx-5f25f6236ffb07ff109956bd14eb32f8f1d8c2cc.tar.gz | |
merge heads
Diffstat (limited to 'sphinx')
| -rw-r--r-- | sphinx/quickstart.py | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/sphinx/quickstart.py b/sphinx/quickstart.py index 38daa36c..04b151ea 100644 --- a/sphinx/quickstart.py +++ b/sphinx/quickstart.py @@ -581,6 +581,20 @@ if "%%1" == "clean" ( \tgoto end ) + +%%SPHINXBUILD%% 2> nul +if errorlevel 9009 ( + echo. + echo.The 'sphinx-build' command was not found. Make sure Sphinx is + echo.installed, then set the SPHINXBUILD environment variable to point + echo.to the full path of the 'sphinx-build' executable. Alternatively + echo.you may add the Sphinx directory to PATH. + echo. + echo.If you don't have Sphinx installed, grab it from + echo.http://sphinx.pocoo.org/ + exit /b 1 +) + if "%%1" == "html" ( \t%%SPHINXBUILD%% -b html %%ALLSPHINXOPTS%% %%BUILDDIR%%/html \tif errorlevel 1 exit /b 1 |