diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile new file mode 100644 index 0000000..7355011 --- /dev/null +++ b/doc/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 = Snuffleupagus | ||
| 8 | SOURCEDIR = source | ||
| 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 | ||
