From ab4af39e0aeafd26a509c39b903d7e9c02760b03 Mon Sep 17 00:00:00 2001
From: Marc Garcia <garcia.marc@gmail.com>
Date: Sun, 9 Jun 2019 10:55:20 +0100
Subject: [PATCH] DOC: Skip creating redirects if docs build fails

---
 doc/make.py | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/doc/make.py b/doc/make.py
index 6ffbd3ef86e68..496b3cfd4ee45 100755
--- a/doc/make.py
+++ b/doc/make.py
@@ -220,10 +220,11 @@ def html(self):
         if os.path.exists(zip_fname):
             os.remove(zip_fname)
 
-        if self.single_doc_html is not None:
-            self._open_browser(self.single_doc_html)
-        else:
-            self._add_redirects()
+        if ret_code == 0:
+            if self.single_doc_html is not None:
+                self._open_browser(self.single_doc_html)
+            else:
+                self._add_redirects()
         return ret_code
 
     def latex(self, force=False):