From e70680903708b26e5a50c8348f8ae75dc33b4863 Mon Sep 17 00:00:00 2001
From: Sam El-Husseini <samelh@microsoft.com>
Date: Fri, 11 Nov 2016 13:36:40 -0800
Subject: [PATCH] Adding getting-started option

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

diff --git a/pxtarget.json b/pxtarget.json
index 883fb062..c8b8ed51 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -190,6 +190,7 @@
         "projectGallery": "projects",
         "boardName": "micro:bit",
         "sideDoc": "getting-started",
+        "gettingStarted": "getting-started",
         "browserSupport": [
             {
                 "name": "unsupported",