diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..6a109aa --- /dev/null +++ b/Makefile | |||
@@ -0,0 +1,20 @@ | |||
1 | # Minimal makefile for Sphinx documentation | ||
2 | # | ||
3 | |||
4 | # You can set these variables from the command line. | ||
5 | SPHINXOPTS = | ||
6 | SPHINXBUILD = sphinx-build | ||
7 | SPHINXPROJ = ring0xyz | ||
8 | SOURCEDIR = . | ||
9 | BUILDDIR = _build | ||
10 | |||
11 | # Put it first so that "make" without argument is like "make help". | ||
12 | help: | ||
13 | @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) | ||
14 | |||
15 | .PHONY: help Makefile | ||
16 | |||
17 | # Catch-all target: route all unknown targets to Sphinx using the new | ||
18 | # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). | ||
19 | %: Makefile | ||
20 | @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) \ No newline at end of file | ||