Missing field in JSON

iriark01 · iriark01 · commit 184060746afe · 2020-04-08T13:20:02.000+01:00
diff --git a/docs.json b/docs.json
@@ -1162,6 +1162,7 @@
             "title": "Mbed OS bare metal",
             "description": "",
             "slug": "bare-metal",
+            "type": "markdown",
             "sources": [{
                     "path": "docs/program-setup/bare_metal/bare_metal.md"
                 },
