diff options
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 |