Mercurial > hgrepos > FreeBSD > ports > sysutils > local-bsdtools
annotate docs/Makefile @ 783:7d44112dfb81
farray.sh: Use plain insertion sort by default now instead of dumpsort and use Shell sort for array with length > 8
| author | Franz Glasner <fzglas.hg@dom66.de> |
|---|---|
| date | Sat, 26 Oct 2024 18:38:05 +0200 |
| parents | 86d8929e4747 |
| children |
| rev | line source |
|---|---|
|
279
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
1 # Minimal makefile for Sphinx documentation |
|
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
2 # |
|
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
3 |
|
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
4 # You can set these variables from the command line, and also |
|
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
5 # from the environment for the first two. |
|
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
6 SPHINXOPTS ?= |
|
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
7 SPHINXBUILD ?= sphinx-build |
|
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
8 SOURCEDIR = . |
|
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
9 BUILDDIR = _build |
|
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
10 |
|
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
11 # Put it first so that "make" without argument is like "make help". |
|
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
12 help: |
|
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
13 @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) |
|
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
14 |
|
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
15 .PHONY: help Makefile |
|
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
16 |
|
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
17 # Catch-all target: route all unknown targets to Sphinx using the new |
|
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
18 # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). |
|
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
19 %: Makefile |
|
86d8929e4747
Add the Sphinx documentation sources as generated by sphinx-quickstart
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
20 @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) |
