From ea3f2fb71f4d129d7fd1457aa0bd18a03ced94f0 Mon Sep 17 00:00:00 2001 From: Daniele Lisi <22307776+danielelisi@users.noreply.github.com> Date: Mon, 31 Oct 2022 15:06:06 -0700 Subject: [PATCH] Add Remote policy service documentation to the website sidebar --- docs/remote_policy.md | 5 +++++ website/sidebars.js | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/docs/remote_policy.md b/docs/remote_policy.md index 9e578624..fdf7a86b 100644 --- a/docs/remote_policy.md +++ b/docs/remote_policy.md @@ -1,3 +1,8 @@ +--- +id: remote_policy +title: Remote Policy Service +--- + # Remote policy service The remote policy service feature allows custom policy schemes beyond simple request and operation lookup diff --git a/website/sidebars.js b/website/sidebars.js index 8e8af437..ca50c5b4 100644 --- a/website/sidebars.js +++ b/website/sidebars.js @@ -22,7 +22,7 @@ const sidebars = { className: 'sidebarHeader', collapsed: false, collapsible: false, - items: ['start', 'file_based', 'yubihsm', 'azure_kms', 'gcp_kms', 'aws_kms', 'ledger', `cli`], + items: ['start', 'file_based', 'yubihsm', 'azure_kms', 'gcp_kms', 'aws_kms', 'ledger', `cli`, 'remote_policy'], }, ], };