make.bat
819067e216d9issn4frontend

make.bat
View Options

			@ECHO OFF

			pushd %~dp0

			REM Command file for Sphinx documentation

			if "%SPHINXBUILD%" == "" (
			set SPHINXBUILD=sphinx-build
			)
			set SOURCEDIR=.
			set BUILDDIR=_build

			if "%1" == "" goto help

			%SPHINXBUILD% >NUL 2>NUL
			if errorlevel 9009 (
			echo.
			echo.The 'sphinx-build' command was not found. Make sure you have Sphinx
			echo.installed, then set the SPHINXBUILD environment variable to point
			echo.to the full path of the 'sphinx-build' executable. Alternatively you
			echo.may add the Sphinx directory to PATH.
			echo.
			echo.If you don't have Sphinx installed, grab it from
			echo.http://sphinx-doc.org/
			exit /b 1
			)

			%SPHINXBUILD% -M %1 %SOURCEDIR% %BUILDDIR% %SPHINXOPTS% %O%
			goto end

			:help
			%SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% %SPHINXOPTS% %O%

			:end
			popd