Document the Semigroup for Map
[packages/containers.git] / docs / make.bat
1 @ECHO OFF
2
3 pushd %~dp0
4
5 REM Command file for Sphinx documentation
6
7 if "%SPHINXBUILD%" == "" (
8 set SPHINXBUILD=sphinx-build
9 )
10 set SOURCEDIR=.
11 set BUILDDIR=_build
12 set SPHINXPROJ=containers
13
14 if "%1" == "" goto help
15
16 %SPHINXBUILD% >NUL 2>NUL
17 if errorlevel 9009 (
18 echo.
19 echo.The 'sphinx-build' command was not found. Make sure you have Sphinx
20 echo.installed, then set the SPHINXBUILD environment variable to point
21 echo.to the full path of the 'sphinx-build' executable. Alternatively you
22 echo.may add the Sphinx directory to PATH.
23 echo.
24 echo.If you don't have Sphinx installed, grab it from
25 echo.http://sphinx-doc.org/
26 exit /b 1
27 )
28
29 %SPHINXBUILD% -M %1 %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%
30 goto end
31
32 :help
33 %SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%
34
35 :end
36 popd