annotate doc/Makefile @ 3123:130f9cb6e0ab
core (memory/params): added `extra` argument to filter out params notably in `getParamsUI`:
In some case, it may be desirable for a frontend to not expose some parameters to user
(e.g. it is the case on Android with the `autoconnect_backend` parameter). An new `extra`
parameter has been added to a couple of parameters method for that: it can contain the
`ignore` key with a list of [category, name] of parameters to skip.
| author |
Goffi <goffi@goffi.org> |
| date |
Sat, 25 Jan 2020 21:08:40 +0100 |
| parents |
ce16847a7b6d |
| children |
|
| rev |
line source |
|
2946
|
1 # Minimal makefile for Sphinx documentation |
|
|
2 # |
|
|
3 |
|
|
4 # You can set these variables from the command line. |
|
|
5 SPHINXOPTS = |
|
|
6 SPHINXBUILD = sphinx-build |
|
|
7 SOURCEDIR = . |
|
|
8 BUILDDIR = .build |
|
|
9 |
|
|
10 # Put it first so that "make" without argument is like "make help". |
|
|
11 help: |
|
|
12 @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) |
|
|
13 |
|
|
14 .PHONY: help Makefile |
|
|
15 |
|
|
16 # Catch-all target: route all unknown targets to Sphinx using the new |
|
|
17 # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). |
|
|
18 %: Makefile |
|
|
19 @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) |
