huangcm
2025-02-24 69ed55dec4b2116a19e4cca4393cbc014fce5fb2
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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
@ECHO OFF
 
REM Command file for Sphinx documentation
 
set SPHINXBUILD=sphinx-build
set ALLSPHINXOPTS=-d _build/doctrees %SPHINXOPTS% .
if NOT "%PAPER%" == "" (
   set ALLSPHINXOPTS=-D latex_paper_size=%PAPER% %ALLSPHINXOPTS%
)
 
if "%1" == "" goto help
 
if "%1" == "help" (
   :help
   echo.Please use `make ^<target^>` where ^<target^> is one of
   echo.  html      to make standalone HTML files
   echo.  dirhtml   to make HTML files named index.html in directories
   echo.  pickle    to make pickle files
   echo.  json      to make JSON files
   echo.  htmlhelp  to make HTML files and a HTML help project
   echo.  qthelp    to make HTML files and a qthelp project
   echo.  latex     to make LaTeX files, you can set PAPER=a4 or PAPER=letter
   echo.  changes   to make an overview over all changed/added/deprecated items
   echo.  linkcheck to check all external links for integrity
   echo.  doctest   to run all doctests embedded in the documentation if enabled
   goto end
)
 
if "%1" == "clean" (
   for /d %%i in (_build\*) do rmdir /q /s %%i
   del /q /s _build\*
   goto end
)
 
if "%1" == "html" (
   %SPHINXBUILD% -b html %ALLSPHINXOPTS% _build/html
   echo.
   echo.Build finished. The HTML pages are in _build/html.
   goto end
)
 
if "%1" == "dirhtml" (
   %SPHINXBUILD% -b dirhtml %ALLSPHINXOPTS% _build/dirhtml
   echo.
   echo.Build finished. The HTML pages are in _build/dirhtml.
   goto end
)
 
if "%1" == "pickle" (
   %SPHINXBUILD% -b pickle %ALLSPHINXOPTS% _build/pickle
   echo.
   echo.Build finished; now you can process the pickle files.
   goto end
)
 
if "%1" == "json" (
   %SPHINXBUILD% -b json %ALLSPHINXOPTS% _build/json
   echo.
   echo.Build finished; now you can process the JSON files.
   goto end
)
 
if "%1" == "htmlhelp" (
   %SPHINXBUILD% -b htmlhelp %ALLSPHINXOPTS% _build/htmlhelp
   echo.
   echo.Build finished; now you can run HTML Help Workshop with the ^
.hhp project file in _build/htmlhelp.
   goto end
)
 
if "%1" == "qthelp" (
   %SPHINXBUILD% -b qthelp %ALLSPHINXOPTS% _build/qthelp
   echo.
   echo.Build finished; now you can run "qcollectiongenerator" with the ^
.qhcp project file in _build/qthelp, like this:
   echo.^> qcollectiongenerator _build\qthelp\futures.qhcp
   echo.To view the help file:
   echo.^> assistant -collectionFile _build\qthelp\futures.ghc
   goto end
)
 
if "%1" == "latex" (
   %SPHINXBUILD% -b latex %ALLSPHINXOPTS% _build/latex
   echo.
   echo.Build finished; the LaTeX files are in _build/latex.
   goto end
)
 
if "%1" == "changes" (
   %SPHINXBUILD% -b changes %ALLSPHINXOPTS% _build/changes
   echo.
   echo.The overview file is in _build/changes.
   goto end
)
 
if "%1" == "linkcheck" (
   %SPHINXBUILD% -b linkcheck %ALLSPHINXOPTS% _build/linkcheck
   echo.
   echo.Link check complete; look for any errors in the above output ^
or in _build/linkcheck/output.txt.
   goto end
)
 
if "%1" == "doctest" (
   %SPHINXBUILD% -b doctest %ALLSPHINXOPTS% _build/doctest
   echo.
   echo.Testing of doctests in the sources finished, look at the ^
results in _build/doctest/output.txt.
   goto end
)
 
:end