From 4324ddd28e5fd0de200668fcff4787927d65d058 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)

(cherry picked from commit 16144a8858ab538be797f93abaaef8f291878eff)
---
 docs/configs/docsdev.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/configs/docsdev.js b/docs/configs/docsdev.js
index 2e1ef1ae6e..8ea09d8044 100644
--- a/docs/configs/docsdev.js
+++ b/docs/configs/docsdev.js
@@ -58,7 +58,7 @@ export default {
                 title: 'Introduction to Functions',
                 children: [
                     {
-                        title: 'Application Homepage',
+                        title: 'Workflow Overview',
                         link: '/en-us/docs/dev/user_doc/guide/homepage.html',
                     },
                     {