From 76eaf47e7b41ea1eb096c85b331eadf41d82f78d Mon Sep 17 00:00:00 2001
From: Kevin Pouget <kevin.pouget@imag.fr>
Date: Thu, 2 Feb 2017 16:08:30 +0100
Subject: [PATCH] add documentation autobuild

---
 documentation/Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/documentation/Makefile b/documentation/Makefile
index 9645f06..9157975 100644
--- a/documentation/Makefile
+++ b/documentation/Makefile
@@ -4,6 +4,8 @@
 # You can set these variables from the command line.
 SPHINXOPTS    =
 SPHINXBUILD   = sphinx-build
+SPHINXAUTOBUILD    = sphinx-autobuild
+SPHINXAUTOBUILDOPT = --ignore .\#*
 PAPER         =
 BUILDDIR      = _build
 ROOT_DIR := $(shell dirname $(realpath $(lastword $(MAKEFILE_LIST))))
@@ -26,6 +28,7 @@ I18NSPHINXOPTS  = $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) .
 help:
 	@echo "Please use \`make <target>' where <target> is one of"
 	@echo "  html       to make standalone HTML files"
+	@echo "  autohtml   to make start a watch and rebuild the documentation when a change is detected (https://github.com/GaretJax/sphinx-autobuild)."
 	@echo "  dirhtml    to make HTML files named index.html in directories"
 	@echo "  singlehtml to make a single large HTML file"
 	@echo "  pickle     to make pickle files"
@@ -56,6 +59,11 @@ html:
 	@echo
 	@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
 
+autohtml:
+	$(SPHINXAUTOBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html $(SPHINXAUTOBUILDOPT)
+	@echo
+	@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
+
 dirhtml:
 	$(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml
 	@echo
-- 
GitLab