comparison docs/make.bat @ 215:ab3d0326419c

Doc: Move the "doc" to "docs"
author Franz Glasner <fzglas.hg@dom66.de>
date Wed, 08 May 2019 09:23:37 +0200
parents doc/make.bat@2ff1e8f02dc7
children
comparison
equal deleted inserted replaced
214:a35b0ca8b81f 215:ab3d0326419c
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=ConfigMix
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