diff options
| author | Phil <phil.buschmann@tum.de> | 2018-06-11 20:23:00 +0200 |
|---|---|---|
| committer | Phil <phil.buschmann@tum.de> | 2018-06-11 20:23:00 +0200 |
| commit | ee0ee0d7bb3270944112af9e8509569319948d11 (patch) | |
| tree | c227db66ca5620f1dcd78b04f547f88821378930 /Makefile | |
| download | gnunet-rest-api-ee0ee0d7bb3270944112af9e8509569319948d11.tar.gz gnunet-rest-api-ee0ee0d7bb3270944112af9e8509569319948d11.zip | |
Initial commit
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..4bf8fc5 --- /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 = GNUnetRESTAPI | ||
| 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 | ||