annotate doc/Makefile @ 3167:d0fb79f97466
quick frontends (app): added an "ignore_missing" argument to RemoveListener:
normally an error is logged when removeListener is call on a inexisting listener, but
sometimes listeners are added only in specific scenarios, and it may be handy to try to
delete them without having to explictly check that they have been used.
| author |
Goffi <goffi@goffi.org> |
| date |
Wed, 12 Feb 2020 19:44:05 +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) |
