From 7eb1343f68c1283fe621206ab7eea10ef24691dd Mon Sep 17 00:00:00 2001
From: Joey Wunderlich <jwunderl@users.noreply.github.com>
Date: Fri, 9 Aug 2024 10:26:20 -0700
Subject: [PATCH] Enable uploadDocs (#6481)

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

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