From 9a7bf30e8029b8f268c725ed5d6ea07d3b945f1a Mon Sep 17 00:00:00 2001
From: peli <pelikhan@users.noreply.github.com>
Date: Tue, 8 Sep 2020 11:01:55 -0700
Subject: [PATCH] disable docs checking

---
 pxtarget.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pxtarget.json b/pxtarget.json
index 855dbc2e..a19b2d0a 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -457,5 +457,6 @@
             }
         }
     },
-    "uploadDocs": true
+    "uploadDocs": true,
+    "ignoreDocsErrors": true
 }