From 8ea6abf0d06c8a86af93bfc8135301aae1480b1f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Alex=20Benn=C3=A9e?= Date: Tue, 12 Nov 2019 16:28:53 +0000 Subject: [PATCH] docs/devel: rename plugins.rst to tcg-plugins.rst MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This makes it a bit clearer what this is about. Signed-off-by: Alex Bennée Reviewed-by: Philippe Mathieu-Daudé --- MAINTAINERS | 1 + docs/devel/index.rst | 2 +- docs/devel/{plugins.rst => tcg-plugins.rst} | 0 3 files changed, 2 insertions(+), 1 deletion(-) rename docs/devel/{plugins.rst => tcg-plugins.rst} (100%) diff --git a/MAINTAINERS b/MAINTAINERS index dfb7932608..5e5e3e52d6 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -2371,6 +2371,7 @@ F: tcg/ TCG Plugins M: Alex Bennée S: Maintained +F: docs/devel/tcg-plugins.rst F: plugins/ F: tests/plugin diff --git a/docs/devel/index.rst b/docs/devel/index.rst index 2ff058bae3..c86a3cdff2 100644 --- a/docs/devel/index.rst +++ b/docs/devel/index.rst @@ -22,4 +22,4 @@ Contents: decodetree secure-coding-practices tcg - plugins + tcg-plugins diff --git a/docs/devel/plugins.rst b/docs/devel/tcg-plugins.rst similarity index 100% rename from docs/devel/plugins.rst rename to docs/devel/tcg-plugins.rst