annotate doc/Makefile @ 518:196483685a63 default tip

Use Font-Awesome instead of Fontello, following change in Libervia Media.
author Goffi <goffi@goffi.org>
date Sat, 26 Oct 2024 22:44:37 +0200
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)