updated mint.json

5 months ago · 13dec67c43
parent 64cc756260
commit 13dec67c43
1 changed files with 4 additions and 1 deletions
--- a/docs/mint.json
+++ b/docs/mint.json
@ -64,7 +64,10 @@
        },
        "hardware/custom_hardware",
        "hardware/desktop",
-        "hardware/mobile"
+        {
+          "group": "Mobile",
+          "pages": ["hardware/mobile/ios", "hardware/mobile/android"]
+        }
      ]
    },
    {