diff --git a/pxtarget.json b/pxtarget.json
index c0ca0caf10..0c56570968 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -701,7 +701,7 @@
             "id": "ie"
         }
     ],
-    "uploadDocs": false,
+    "uploadDocs": true,
     "noSimShims": true,
     "defaultBadges": [
         {