From ea01a82e9fffaabe6a16ba3379102bce042d17d8 Mon Sep 17 00:00:00 2001
From: Andrew Svetlov <andrew.svetlov@gmail.com>
Date: Sun, 23 Jan 2022 14:47:30 +0200
Subject: [PATCH] Add missing opts

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 19e9c679..e0e0c788 100644
--- a/Makefile
+++ b/Makefile
@@ -53,7 +53,7 @@ cov: lint .develop
 
 
 doc: doctest doc-spelling
-	make -C docs html SPHINXOPTS="-W -E"
+	make -C docs html SPHINXOPTS="-W -E --keep-going -n"
 	@echo "open file://`pwd`/docs/_build/html/index.html"