Browse Source

[docs] Add links to metrics docs (#10583)

3.1.0-release
Eric Gao 2 years ago committed by GitHub
parent
commit
16144a8858
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 22
      docs/configs/docsdev.js

22
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: [

Loading…
Cancel
Save