File: make.bat

package info (click to toggle)
sympy 1.14.0-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 36,784 kB
  • sloc: python: 460,598; xml: 359; makefile: 162; sh: 59; lisp: 4
file content (69 lines) | stat: -rw-r--r-- 1,724 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
@ECHO OFF

pushd %~dp0

REM Command file for Sphinx documentation

if "%SPHINXBUILD%" == "" (
	set SPHINXBUILD=sphinx-build
)
set SPHINXOPTS=-W --keep-going
set SOURCEDIR=src
set BUILDDIR=_build
set PORT=3000
set HOST=localhost
set ALLSPHINXOPTSlatex=-d %BUILDDIR%\doctrees-latex -D latex_element.papersize=%PAPER%paper %SPHINXOPTS% %SOURCEDIR%
SETLOCAL
set LATEXMKOPTS=-halt-on-error -xelatex

if "%1" == "html" goto html
if "%1" == "help" goto help
if "%1" == "livehtml" goto livehtml
if "%1" == "pdf" goto pdf

%SPHINXBUILD% >NUL 2>NUL
if errorlevel 9009 (
	echo.
	echo.The 'sphinx-build' command was not found. Make sure you have Sphinx
	echo.installed, then set the SPHINXBUILD environment variable to point
	echo.to the full path of the 'sphinx-build' executable. Alternatively you
	echo.may add the Sphinx directory to PATH.
	echo.
	echo.If you don't have Sphinx installed, grab it from
	echo.https://www.sphinx-doc.org/
	exit /b 1
)

:html
if NOT exist %BUILDDIR%/ (
	mkdir %BUILDDIR%\logo
	python ./generate_logos.py -d
)
%SPHINXBUILD% -M %1 %SOURCEDIR% %BUILDDIR% %SPHINXOPTS% %O%
goto end

:livehtml
if NOT exist %BUILDDIR%/ (
	mkdir %BUILDDIR%\logo
	python ./generate_logos.py -d
)
sphinx-autobuild --port %PORT% --host %HOST% --open-browser --watch .. %SOURCEDIR% %BUILDDIR%\html
goto end

:pdf
if NOT exist %BUILDDIR%/logo (
	mkdir %BUILDDIR%\logo %BUILDDIR%\latex %BUILDDIR%\doctrees
	python ./generate_logos.py -d
)
%SPHINXBUILD% -b latex %ALLSPHINXOPTSlatex% %BUILDDIR%\latex
pushd %BUILDDIR%\latex
latexmk -xelatex -silent -f
popd
goto end

:help
%SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% %SPHINXOPTS% %O%
echo   livehost    to create and host HTML on http://localhost:3000

:end
popd