git.iko.soy/servant
on ghc-8.6 help sign in
servant/doc/make.bat
36 lines 811 B history raw
1@ECHO OFF
3pushd %~dp0
5REM Command file for Sphinx documentation
7if "%SPHINXBUILD%" == "" (
8 set SPHINXBUILD=sphinx-build
9)
10set SOURCEDIR=.
11set BUILDDIR=_build
12set SPHINXPROJ=Servant
14if "%1" == "" goto help
16%SPHINXBUILD% >NUL 2>NUL
17if 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
29%SPHINXBUILD% -M %1 %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%
30goto end
32:help
33%SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%
35:end
36popd