From 878870255f87e0e0d79c2a31d3eda5799acf0019 Mon Sep 17 00:00:00 2001 From: mathieui Date: Thu, 10 Dec 2020 20:45:26 +0100 Subject: docs: move the plugin index away from the main page MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit it’s too big --- docs/api/plugins/index.rst | 4 ++-- docs/index.rst | 7 +++++++ 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/docs/api/plugins/index.rst b/docs/api/plugins/index.rst index 981d22e6..60a6360d 100644 --- a/docs/api/plugins/index.rst +++ b/docs/api/plugins/index.rst @@ -1,5 +1,5 @@ -Plugins -======= +Plugin index +============ .. toctree:: :maxdepth: 2 diff --git a/docs/index.rst b/docs/index.rst index fee237c1..a01109cd 100644 --- a/docs/index.rst +++ b/docs/index.rst @@ -167,6 +167,13 @@ API Reference api/xmlstream/matcher api/xmlstream/xmlstream api/xmlstream/tostring + +Plugins +~~~~~~~ + +.. toctree:: + :maxdepth: 1 + api/plugins/index Core Stanzas -- cgit v1.2.3