Add ignore doc errors option

2018-04-21 12:25:19 -07:00
parent 83bb698d2e
commit 3cc387275c
1 changed files with 1 additions and 0 deletions
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -225,6 +225,7 @@
        "productId": "0x0204",
        "rawHID": true
    },
+    "ignoreDocsErrors": true,
    "appTheme": {
        "accentColor": "#5C005C",
        "logoUrl": "https://microbit.org/code/",