Diff of /docs/make.bat [000000] .. [030aeb]

Switch to unified view

a b/docs/make.bat
1
@ECHO OFF
2
3
pushd %~dp0
4
5
REM Command file for Sphinx documentation
6
7
if "%SPHINXBUILD%" == "" (
8
    set SPHINXBUILD=sphinx-build
9
)
10
set SOURCEDIR=source
11
set BUILDDIR=build
12
13
if "%1" == "" goto help
14
15
%SPHINXBUILD% >NUL 2>NUL
16
if errorlevel 9009 (
17
    echo.
18
    echo.The 'sphinx-build' command was not found. Make sure you have Sphinx
19
    echo.installed, then set the SPHINXBUILD environment variable to point
20
    echo.to the full path of the 'sphinx-build' executable. Alternatively you
21
    echo.may add the Sphinx directory to PATH.
22
    echo.
23
    echo.If you don't have Sphinx installed, grab it from
24
    echo.http://sphinx-doc.org/
25
    exit /b 1
26
)
27
28
%SPHINXBUILD% -M %1 %SOURCEDIR% %BUILDDIR% %SPHINXOPTS% %O%
29
goto end
30
31
:help
32
%SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% %SPHINXOPTS% %O%
33
34
:end
35
popd