diff options
Diffstat (limited to 'Documentation/Makefile')
| -rw-r--r-- | Documentation/Makefile | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile new file mode 100644 index 00000000..8bb5b9e4 --- /dev/null +++ b/Documentation/Makefile @@ -0,0 +1,22 @@ +# 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 + + +# 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) + +.PHONY: Makefile # avoid circular deps with the catch-all rule |