Update product name

Rosie Taylor · Rosie Taylor · commit 223daae1434a · 2019-01-08T13:05:46.000Z
diff --git a/docs.json b/docs.json
@@ -1,5 +1,5 @@
 {
-    "product_name": "Mbed OS",
+    "product_name": "Mbed OS 5",
     "books": [
         {
             "title": "Mbed OS API doxygen",
