annotate core-javascript/make.bat @ 213:0ea90a1819c2 default tip

Custom theming
author Radomir Dopieralski <radomir.dopieralski@allegro.pl>
date Wed, 27 Jun 2012 16:35:54 +0200
parents 0c7473ebce62
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
97
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
1 @ECHO OFF
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
2
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
3 REM Command file for Sphinx documentation
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
4
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
5 if "%SPHINXBUILD%" == "" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
6 set SPHINXBUILD=sphinx-build
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
7 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
8 set BUILDDIR=_build
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
9 set ALLSPHINXOPTS=-d %BUILDDIR%/doctrees %SPHINXOPTS% .
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
10 if NOT "%PAPER%" == "" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
11 set ALLSPHINXOPTS=-D latex_paper_size=%PAPER% %ALLSPHINXOPTS%
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
12 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
13
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
14 if "%1" == "" goto help
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
15
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
16 if "%1" == "help" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
17 :help
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
18 echo.Please use `make ^<target^>` where ^<target^> is one of
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
19 echo. html to make standalone HTML files
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
20 echo. dirhtml to make HTML files named index.html in directories
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
21 echo. singlehtml to make a single large HTML file
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
22 echo. pickle to make pickle files
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
23 echo. json to make JSON files
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
24 echo. htmlhelp to make HTML files and a HTML help project
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
25 echo. qthelp to make HTML files and a qthelp project
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
26 echo. devhelp to make HTML files and a Devhelp project
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
27 echo. epub to make an epub
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
28 echo. latex to make LaTeX files, you can set PAPER=a4 or PAPER=letter
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
29 echo. text to make text files
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
30 echo. man to make manual pages
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
31 echo. gettext to make PO message catalogs
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
32 echo. changes to make an overview over all changed/added/deprecated items
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
33 echo. linkcheck to check all external links for integrity
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
34 echo. doctest to run all doctests embedded in the documentation if enabled
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
35 goto end
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
36 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
37
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
38 if "%1" == "clean" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
39 for /d %%i in (%BUILDDIR%\*) do rmdir /q /s %%i
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
40 del /q /s %BUILDDIR%\*
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
41 goto end
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
42 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
43
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
44 if "%1" == "html" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
45 %SPHINXBUILD% -b html %ALLSPHINXOPTS% %BUILDDIR%/html
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
46 echo.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
47 echo.Build finished. The HTML pages are in %BUILDDIR%/html.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
48 goto end
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
49 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
50
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
51 if "%1" == "dirhtml" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
52 %SPHINXBUILD% -b dirhtml %ALLSPHINXOPTS% %BUILDDIR%/dirhtml
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
53 echo.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
54 echo.Build finished. The HTML pages are in %BUILDDIR%/dirhtml.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
55 goto end
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
56 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
57
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
58 if "%1" == "singlehtml" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
59 %SPHINXBUILD% -b singlehtml %ALLSPHINXOPTS% %BUILDDIR%/singlehtml
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
60 echo.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
61 echo.Build finished. The HTML pages are in %BUILDDIR%/singlehtml.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
62 goto end
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
63 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
64
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
65 if "%1" == "pickle" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
66 %SPHINXBUILD% -b pickle %ALLSPHINXOPTS% %BUILDDIR%/pickle
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
67 echo.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
68 echo.Build finished; now you can process the pickle files.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
69 goto end
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
70 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
71
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
72 if "%1" == "json" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
73 %SPHINXBUILD% -b json %ALLSPHINXOPTS% %BUILDDIR%/json
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
74 echo.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
75 echo.Build finished; now you can process the JSON files.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
76 goto end
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
77 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
78
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
79 if "%1" == "htmlhelp" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
80 %SPHINXBUILD% -b htmlhelp %ALLSPHINXOPTS% %BUILDDIR%/htmlhelp
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
81 echo.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
82 echo.Build finished; now you can run HTML Help Workshop with the ^
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
83 .hhp project file in %BUILDDIR%/htmlhelp.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
84 goto end
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
85 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
86
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
87 if "%1" == "qthelp" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
88 %SPHINXBUILD% -b qthelp %ALLSPHINXOPTS% %BUILDDIR%/qthelp
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
89 echo.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
90 echo.Build finished; now you can run "qcollectiongenerator" with the ^
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
91 .qhcp project file in %BUILDDIR%/qthelp, like this:
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
92 echo.^> qcollectiongenerator %BUILDDIR%\qthelp\CoreJavaScript.qhcp
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
93 echo.To view the help file:
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
94 echo.^> assistant -collectionFile %BUILDDIR%\qthelp\CoreJavaScript.ghc
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
95 goto end
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
96 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
97
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
98 if "%1" == "devhelp" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
99 %SPHINXBUILD% -b devhelp %ALLSPHINXOPTS% %BUILDDIR%/devhelp
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
100 echo.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
101 echo.Build finished.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
102 goto end
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
103 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
104
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
105 if "%1" == "epub" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
106 %SPHINXBUILD% -b epub %ALLSPHINXOPTS% %BUILDDIR%/epub
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
107 echo.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
108 echo.Build finished. The epub file is in %BUILDDIR%/epub.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
109 goto end
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
110 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
111
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
112 if "%1" == "latex" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
113 %SPHINXBUILD% -b latex %ALLSPHINXOPTS% %BUILDDIR%/latex
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
114 echo.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
115 echo.Build finished; the LaTeX files are in %BUILDDIR%/latex.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
116 goto end
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
117 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
118
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
119 if "%1" == "text" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
120 %SPHINXBUILD% -b text %ALLSPHINXOPTS% %BUILDDIR%/text
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
121 echo.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
122 echo.Build finished. The text files are in %BUILDDIR%/text.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
123 goto end
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
124 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
125
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
126 if "%1" == "man" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
127 %SPHINXBUILD% -b man %ALLSPHINXOPTS% %BUILDDIR%/man
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
128 echo.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
129 echo.Build finished. The manual pages are in %BUILDDIR%/man.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
130 goto end
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
131 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
132
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
133 if "%1" == "gettext" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
134 %SPHINXBUILD% -b gettext %ALLSPHINXOPTS% %BUILDDIR%/locale
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
135 echo.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
136 echo.Build finished. The message catalogs are in %BUILDDIR%/locale.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
137 goto end
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
138 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
139
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
140 if "%1" == "changes" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
141 %SPHINXBUILD% -b changes %ALLSPHINXOPTS% %BUILDDIR%/changes
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
142 echo.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
143 echo.The overview file is in %BUILDDIR%/changes.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
144 goto end
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
145 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
146
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
147 if "%1" == "linkcheck" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
148 %SPHINXBUILD% -b linkcheck %ALLSPHINXOPTS% %BUILDDIR%/linkcheck
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
149 echo.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
150 echo.Link check complete; look for any errors in the above output ^
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
151 or in %BUILDDIR%/linkcheck/output.txt.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
152 goto end
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
153 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
154
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
155 if "%1" == "doctest" (
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
156 %SPHINXBUILD% -b doctest %ALLSPHINXOPTS% %BUILDDIR%/doctest
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
157 echo.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
158 echo.Testing of doctests in the sources finished, look at the ^
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
159 results in %BUILDDIR%/doctest/output.txt.
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
160 goto end
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
161 )
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
162
0c7473ebce62 Create stub files using sphinx-quickstart.
jf3243
parents:
diff changeset
163 :end