annotate doc/Makefile @ 4219:1b5cf2ee1d86
plugin XEP-0384, XEP-0391: download missing devices list:
when a peer jid was not in our roster, devices list was not retrieved, resulting in failed
en/decryption. This patch does check it and download missing devices list in necessary.
There is no subscription managed yet, so the list won't be updated in case of new devices,
this should be addressed at some point.
| author |
Goffi <goffi@goffi.org> |
| date |
Tue, 05 Mar 2024 17:31:36 +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) |
