aboutsummaryrefslogtreecommitdiff
path: root/docs/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'docs/Makefile')
-rw-r--r--docs/Makefile23
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