blob: 1d7c66c120fa40656471af048e27f6b0909fbf68 [file] [log] [blame]
Austin Schuh9049e202022-02-20 17:34:16 -08001@ECHO OFF
2
3pushd %~dp0
4
5REM Command file for Sphinx documentation
6
7if "%SPHINXBUILD%" == "" (
8 set SPHINXBUILD=sphinx-build
9)
10set SOURCEDIR=.
11set BUILDDIR=_build
12set SPHINXPROJ=osqp
13
14if "%1" == "" goto help
15
16%SPHINXBUILD% >NUL 2>NUL
17if 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%
30goto end
31
32:help
33%SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%
34
35:end
36popd