From 23847f6441f9201e283d977839230f69d18c680c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Behmo?= <regis@behmo.com>
Date: Tue, 23 Nov 2021 17:59:14 +0100
Subject: [PATCH] docs: keep running "make watch" on failure

---
 docs/Makefile | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/docs/Makefile b/docs/Makefile
index 764a565..8026e4c 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -1,11 +1,14 @@
 .DEFAULT_GOAL := html
 .PHONY: help
 
+build:
+	sphinx-build -b html -a -E -n $(BUILD_ARGS) "." "_build/html"
+
 html:
-	sphinx-build -b html -a -E -n -W "." "_build/html"
+	$(MAKE) build BUILD_ARGS="-W"
 
 browse:
 	sensible-browser _build/html/index.html
 
-watch: html browse
-	while true; do inotifywait -e modify *.rst */*.rst */*/*.rst ../*.rst conf.py; $(MAKE) html; done
+watch: build browse
+	while true; do inotifywait -e modify *.rst */*.rst */*/*.rst ../*.rst conf.py; $(MAKE) build || true; done