From 16144a8858ab538be797f93abaaef8f291878eff Mon Sep 17 00:00:00 2001
From: Eric Gao <ericgao.apache@gmail.com>
Date: Fri, 24 Jun 2022 17:27:40 +0800
Subject: [PATCH] [docs] Add links to metrics docs  (#10583)

---
 docs/configs/docsdev.js | 22 ++++++++++++++++++++--
 1 file changed, 20 insertions(+), 2 deletions(-)

diff --git a/docs/configs/docsdev.js b/docs/configs/docsdev.js
index fccc03099d..1fa1492178 100644
--- a/docs/configs/docsdev.js
+++ b/docs/configs/docsdev.js
@@ -54,7 +54,7 @@ export default {
                 title: 'Introduction to Functions',
                 children: [
                     {
-                        title: 'Workflow Overview',
+                        title: 'Application Homepage',
                         link: '/en-us/docs/dev/user_doc/guide/homepage.html',
                     },
                     {
@@ -283,6 +283,15 @@ export default {
                         title: 'Security',
                         link: '/en-us/docs/dev/user_doc/guide/security.html',
                     },
+                    {
+                        title: 'Metrics',
+                        children: [
+                            {
+                                title: 'Metrics',
+                                link: '/en-us/docs/dev/user_doc/guide/metrics/metrics.html',
+                            }
+                        ],
+                    },
                     {
                         title: 'How-To',
                         children: [
@@ -430,7 +439,7 @@ export default {
                 title: '功能介绍',
                 children: [
                     {
-                        title: '指标总览',
+                        title: '应用首页',
                         link: '/zh-cn/docs/dev/user_doc/guide/homepage.html',
                     },
                     {
@@ -659,6 +668,15 @@ export default {
                         title: '安全中心',
                         link: '/zh-cn/docs/dev/user_doc/guide/security.html',
                     },
+                    {
+                        title: '指标相关',
+                        children: [
+                            {
+                                title: '指标',
+                                link: '/zh-cn/docs/dev/user_doc/guide/metrics/metrics.html',
+                            }
+                        ],
+                    },
                     {
                         title: '常用指引',
                         children: [