From 844bdd8154b69b3fd24be8155c5fb705311cb491 Mon Sep 17 00:00:00 2001
From: Angus Gratton <angus@espressif.com>
Date: Wed, 29 Jan 2020 09:31:25 +1100
Subject: [PATCH] docs: Allow incremental builds

---
 docs/build_docs.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/docs/build_docs.py b/docs/build_docs.py
index 877179bd33..9dc902f69c 100755
--- a/docs/build_docs.py
+++ b/docs/build_docs.py
@@ -161,8 +161,7 @@ def sphinx_call(language, target, build_dir, sphinx_parallel_jobs, buildername):
     try:
         os.makedirs(build_dir)
     except OSError:
-        print("Cannot call Sphinx in an existing directory!")
-        return 1
+        pass
 
     environ = {}
     environ.update(os.environ)