annotate doc/Makefile @ 414:ccb2a22ea0fc

Python 3 port: /!\ Python 3.6+ is now needed to use SàT Pubsub /!\ instability may occur and features may not be working anymore, this will improve with time The same procedure as in backend has been applied (check backend commit ab2696e34d29 logs for details). Python minimal version has been updated in setup.py
author Goffi <goffi@goffi.org>
date Fri, 16 Aug 2019 12:53:33 +0200
parents 105a0772eedd
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
404
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
1 # Minimal makefile for Sphinx documentation
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
2 #
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
3
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
4 # You can set these variables from the command line.
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
5 SPHINXOPTS =
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
6 SPHINXBUILD = sphinx-build
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
7 SOURCEDIR = .
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
8 BUILDDIR = .build
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
9
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
10 # Put it first so that "make" without argument is like "make help".
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
11 help:
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
12 @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
13
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
14 .PHONY: help Makefile
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
15
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
16 # Catch-all target: route all unknown targets to Sphinx using the new
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
17 # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
18 %: Makefile
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
19 @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)