diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-15 17:00:52 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-05-21 02:45:14 +0200 |
| commit | d1b6faa9b4100be799f533ef98b84b297adbd524 (patch) | |
| tree | 46aefb46f993bc1ef9a4406fd4951a92aeda17a0 /Documentation/Makefile | |
| parent | e64084b052c2d1df8899268fa77f64cf213ccff5 (diff) | |
| download | sparse-dev-d1b6faa9b4100be799f533ef98b84b297adbd524.tar.gz | |
doc: add minimal support for sphinx-doc
With this we can generate HTML for the docs in this directory.
For the moment, more as an experiment as anything else, this
doc is available at http://sparse-doc.rtfd.io
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
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 |