diff options
| author | Trygve Laugstøl <trygvis@inamo.no> | 2018-08-05 22:52:03 +0200 |
|---|---|---|
| committer | Trygve Laugstøl <trygvis@inamo.no> | 2018-08-05 22:52:03 +0200 |
| commit | e0ec25e03d0584054b40ae63c27dbe4b06caa7bd (patch) | |
| tree | 3c7f6463c673d744d2c638577e4e4a74bab805a0 /docs/Makefile | |
| parent | 497d26a2755289f1633e6e3d8291a13254e4a5b7 (diff) | |
| download | ee-python-e0ec25e03d0584054b40ae63c27dbe4b06caa7bd.tar.gz ee-python-e0ec25e03d0584054b40ae63c27dbe4b06caa7bd.tar.bz2 ee-python-e0ec25e03d0584054b40ae63c27dbe4b06caa7bd.tar.xz ee-python-e0ec25e03d0584054b40ae63c27dbe4b06caa7bd.zip | |
o More docs for the ee project.
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 23 |
1 files changed, 18 insertions, 5 deletions
diff --git a/docs/Makefile b/docs/Makefile index aa8ba09..c4c66da 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -2,11 +2,14 @@ # # You can set these variables from the command line. -SPHINXOPTS = -SPHINXBUILD = sphinx-build -SPHINXPROJ = EETools -SOURCEDIR = . -BUILDDIR = _build +SPHINXOPTS = +SPHINXBUILD = sphinx-build +SPHINXAUTOBUILD = sphinx-autobuild +SPHINXPROJ = EETools +SOURCEDIR = . +BUILDDIR = _build + +PATH:=$(shell pwd)/env/bin:$(PATH) # Put it first so that "make" without argument is like "make help". help: @@ -18,3 +21,13 @@ help: # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). %: Makefile @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) + +clean: + rm -rf "$(BUILDDIR)" + +autobuild: + "$(SPHINXAUTOBUILD)" "$(SOURCEDIR)" "$(BUILDDIR)" \ + --ignore '*___jb_old___' \ + --ignore '*___jb_tmp___' + +.PHONY: clean |