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