db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / Documentation / Makefile
blob2e8cbdfd76b1e007a3db027debf13dd9cd84672d
1 # Minimal makefile for Sphinx documentation
4 # You can set these variables from the command line.
5 SPHINXOPTS = -a
6 SPHINXBUILD = sphinx-build
7 SPHINXPROJ = sparse
8 SOURCEDIR = .
9 BUILDDIR = build
11 targets := help
12 targets += html
13 targets += man
16 # Put it first so that "make" without argument is like "make help".
17 help:
19 # route all targets to Sphinx using the new "make mode" option.
20 $(targets): conf.py Makefile
21 @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS)
23 %.1: %.rst man
24 @mv build/man/$@ $@
26 .PHONY: Makefile # avoid circular deps with the catch-all rule