diff options
Diffstat (limited to 'docs/make.bat')
| -rw-r--r-- | docs/make.bat | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/docs/make.bat b/docs/make.bat new file mode 100644 index 000000000..90a332e2e --- /dev/null +++ b/docs/make.bat | |||
| @@ -0,0 +1,36 @@ | |||
| 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=. | ||
| 11 | set BUILDDIR=_build | ||
| 12 | set SPHINXPROJ=Firejail | ||
| 13 | |||
| 14 | if "%1" == "" goto help | ||
| 15 | |||
| 16 | %SPHINXBUILD% >NUL 2>NUL | ||
| 17 | if errorlevel 9009 ( | ||
| 18 | echo. | ||
| 19 | echo.The 'sphinx-build' command was not found. Make sure you have Sphinx | ||
| 20 | echo.installed, then set the SPHINXBUILD environment variable to point | ||
| 21 | echo.to the full path of the 'sphinx-build' executable. Alternatively you | ||
| 22 | echo.may add the Sphinx directory to PATH. | ||
| 23 | echo. | ||
| 24 | echo.If you don't have Sphinx installed, grab it from | ||
| 25 | echo.http://sphinx-doc.org/ | ||
| 26 | exit /b 1 | ||
| 27 | ) | ||
| 28 | |||
| 29 | %SPHINXBUILD% -M %1 %SOURCEDIR% %BUILDDIR% %SPHINXOPTS% | ||
| 30 | goto end | ||
| 31 | |||
| 32 | :help | ||
| 33 | %SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% %SPHINXOPTS% | ||
| 34 | |||
| 35 | :end | ||
| 36 | popd | ||