aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/Documentation/Makefile
blob: 64dc0f66bf7ea2045ad5c75f8be0be6e1e02c54a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
# Minimal makefile for Sphinx documentation
#

# You can set these variables from the command line.
SPHINXOPTS    = -a
SPHINXBUILD   = sphinx-build
SPHINXPROJ    = sparse
SOURCEDIR     = .
BUILDDIR      = build

targets := help
targets += html
targets += man


# Put it first so that "make" without argument is like "make help".
help:

# route all targets to Sphinx using the new "make mode" option.
$(targets): conf.py Makefile
	@$(SPHINXBUILD) -M  $@  "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS)

%.1: %.md man
	@mv build/man/$@ $@

.PHONY: Makefile	# avoid circular deps with the catch-all rule