annotate doc/make.bat @ 406:03554ad70846

common (jidSelector): replace implitict_update mechanism by real-time update: instead of having the possibility to (de)activate implicit update, real time update of items is now done. For now only the notifications and opened chat items are updated in real time.
author Goffi <goffi@goffi.org>
date Wed, 12 Feb 2020 20:02:58 +0100
parents aafd814e34b5
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
307
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
1 @ECHO OFF
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
2
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
3 pushd %~dp0
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
4
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
5 REM Command file for Sphinx documentation
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
6
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
7 if "%SPHINXBUILD%" == "" (
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
8 set SPHINXBUILD=sphinx-build
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
9 )
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
10 set SOURCEDIR=.
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
11 set BUILDDIR=.build
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
12
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
13 if "%1" == "" goto help
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
14
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
15 %SPHINXBUILD% >NUL 2>NUL
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
16 if errorlevel 9009 (
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
17 echo.
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
18 echo.The 'sphinx-build' command was not found. Make sure you have Sphinx
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
19 echo.installed, then set the SPHINXBUILD environment variable to point
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
20 echo.to the full path of the 'sphinx-build' executable. Alternatively you
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
21 echo.may add the Sphinx directory to PATH.
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
22 echo.
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
23 echo.If you don't have Sphinx installed, grab it from
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
24 echo.http://sphinx-doc.org/
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
25 exit /b 1
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
26 )
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
27
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
28 %SPHINXBUILD% -M %1 %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
29 goto end
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
30
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
31 :help
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
32 %SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% %SPHINXOPTS%
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
33
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
34 :end
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
35 popd