@ECHO OFF pushd %~dp0 if "%SPHINXBUILD%" == "" if exist ..\.venv\Scripts\sphinx-build.exe ( set SPHINXBUILD=..\.venv\Scripts\sphinx-build.exe ) 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 Sphinx is installed, echo then set SPHINXBUILD to the full path if needed. exit /b 1 ) if "%1" == "" goto help if "%1" == "html" goto html if "%1" == "linkcheck" goto linkcheck echo. echo Unknown target "%1". goto help :html %SPHINXBUILD% -b html %SOURCEDIR% %BUILDDIR%\html %SPHINXOPTS% goto end :linkcheck %SPHINXBUILD% -b linkcheck %SOURCEDIR% %BUILDDIR%\linkcheck %SPHINXOPTS% goto end :help echo. echo Please use 'make.bat ^' where ^ is one of echo html to make standalone HTML files echo linkcheck to check all external links for integrity :end popd