WIP le dossier "machine(s)"

[papier-crayon.git] / make.bat

@ECHO OFF\r
\r
pushd %~dp0\r
\r
REM Command file for Sphinx documentation\r
\r
if "%SPHINXBUILD%" == "" (\r
	set SPHINXBUILD=sphinx-build\r
)\r
set SOURCEDIR=source\r
set BUILDDIR=build\r
\r
%SPHINXBUILD% >NUL 2>NUL\r
if errorlevel 9009 (\r
	echo.\r
	echo.The 'sphinx-build' command was not found. Make sure you have Sphinx\r
	echo.installed, then set the SPHINXBUILD environment variable to point\r
	echo.to the full path of the 'sphinx-build' executable. Alternatively you\r
	echo.may add the Sphinx directory to PATH.\r
	echo.\r
	echo.If you don't have Sphinx installed, grab it from\r
	echo.https://www.sphinx-doc.org/\r
	exit /b 1\r
)\r
\r
if "%1" == "" goto help\r
\r
%SPHINXBUILD% -M %1 %SOURCEDIR% %BUILDDIR% %SPHINXOPTS% %O%\r
goto end\r
\r
:help\r
%SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% %SPHINXOPTS% %O%\r
\r
:end\r
popd\r