linpershey/process_mining

1@ECHO OFF2 3pushd %~dp04 5REM Command file for Sphinx documentation6 7if "%SPHINXBUILD%" == "" (8	set SPHINXBUILD=sphinx-build9)10set SOURCEDIR=source11set BUILDDIR=build12set SPHINXPROJ=pm4py13 14if "%1" == "" goto help15 16%SPHINXBUILD% >NUL 2>NUL17if errorlevel 9009 (18	echo.19	echo.The 'sphinx-build' command was not found. Make sure you have Sphinx20	echo.installed, then set the SPHINXBUILD environment variable to point21	echo.to the full path of the 'sphinx-build' executable. Alternatively you22	echo.may add the Sphinx directory to PATH.23	echo.24	echo.If you don't have Sphinx installed, grab it from25	echo.http://sphinx-doc.org/26	exit /b 127)28 29%SPHINXBUILD% -M %1 %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%30goto end31 32:help33%SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%34 35:end36popd37