annotate doc/Makefile @ 439:12d188cb1206

core: use of new profileConnected method: bookmarks cache is now retrieved in profileConnected, as getting it in ProfilePlugged could result in an exception is client was not fully connected (if plugins were not all initialised).
author Goffi <goffi@goffi.org>
date Sat, 07 Mar 2020 00:05:49 +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 # Minimal makefile for Sphinx documentation
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
2 #
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
3
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
4 # You can set these variables from the command line.
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
5 SPHINXOPTS =
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
6 SPHINXBUILD = sphinx-build
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
7 SOURCEDIR = .
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
8 BUILDDIR = .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 # Put it first so that "make" without argument is like "make help".
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
11 help:
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
12 @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
13
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
14 .PHONY: help Makefile
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
15
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
16 # Catch-all target: route all unknown targets to Sphinx using the new
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
17 # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
18 %: Makefile
aafd814e34b5 doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
19 @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)