diff --git a/pxtarget.json b/pxtarget.json
index e085ea31..f19f51c2 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -225,6 +225,7 @@
         "productId": "0x0204",
         "rawHID": true
     },
+    "ignoreDocsErrors": true,
     "appTheme": {
         "accentColor": "#5C005C",
         "logoUrl": "https://microbit.org/code/",