From 0753df10e98da83556102924679a997dc2bfd9b6 Mon Sep 17 00:00:00 2001 From: TetraTheta <37061801+TetraTheta@users.noreply.github.com> Date: Sat, 17 Dec 2022 02:39:22 +0900 Subject: [PATCH] Update 'plugins.json' for adding information about newly added schemas --- docs/schema/plugins.json | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/docs/schema/plugins.json b/docs/schema/plugins.json index 2f287669b..e1066d3fa 100644 --- a/docs/schema/plugins.json +++ b/docs/schema/plugins.json @@ -57,6 +57,12 @@ { "$ref": "plugins/external/git-revision-date.json" }, + { + "$ref": "plugins/external/literate-nav.json" + }, + { + "$ref": "plugins/external/macros.json" + }, { "$ref": "plugins/external/minify.json" },