From e0ec25e03d0584054b40ae63c27dbe4b06caa7bd Mon Sep 17 00:00:00 2001
From: Trygve Laugstøl <trygvis@inamo.no>
Date: Sun, 5 Aug 2018 22:52:03 +0200
Subject: o More docs for the ee project.

---
 docs/Makefile | 23 ++++++++++++++++++-----
 1 file changed, 18 insertions(+), 5 deletions(-)

(limited to 'docs/Makefile')

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
-- 
cgit v1.2.3