Warning, /pilot2/doc/make.bat is written in an unsupported language. File is not indexed.
0001 @ECHO OFF
0002 REM Licensed under the Apache License, Version 2.0 (the "License");
0003 REM you may not use this file except in compliance with the License.
0004 REM You may obtain a copy of the License at
0005 REM http://www.apache.org/licenses/LICENSE-2.0
0006 REM
0007 REM Authors:
0008 REM - Daniel Drizhuk, d.drizhuk@gmail.com, 2017
0009
0010 pushd %~dp0
0011
0012 REM Command file for Sphinx documentation
0013
0014 if "%SPHINXBUILD%" == "" (
0015 set SPHINXBUILD=sphinx-build
0016 )
0017 set SOURCEDIR=.
0018 set BUILDDIR=_build
0019 set SPHINXPROJ=Pilot2
0020
0021 if "%1" == "" goto help
0022
0023 %SPHINXBUILD% >NUL 2>NUL
0024 if errorlevel 9009 (
0025 echo.
0026 echo.The 'sphinx-build' command was not found. Make sure you have Sphinx
0027 echo.installed, then set the SPHINXBUILD environment variable to point
0028 echo.to the full path of the 'sphinx-build' executable. Alternatively you
0029 echo.may add the Sphinx directory to PATH.
0030 echo.
0031 echo.If you don't have Sphinx installed, grab it from
0032 echo.http://sphinx-doc.org/
0033 exit /b 1
0034 )
0035
0036 %SPHINXBUILD% -M %1 %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%
0037 goto end
0038
0039 :help
0040 %SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%
0041
0042 :end
0043 popd
