GeezerVison is showing github.com — diff-diff/docs/make.bat at main · UtilityTools/diff-diff

Expand file tree

make.bat

Copy path

More file actions

35 lines (27 loc) · 765 Bytes

Copy path

35 lines (27 loc) · 765 Bytes

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

@ECHO OFF

pushd %~dp0

REM Command file for Sphinx documentation

if "%SPHINXBUILD%" == "" (

set SPHINXBUILD=sphinx-build

)

set SOURCEDIR=.

set BUILDDIR=_build

%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.https://www.sphinx-doc.org/

exit /b 1

)

if "%1" == "" goto help

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

goto end

:help

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

:end

popd