From: Alex Bennée Date: Tue, 12 Nov 2019 16:28:53 +0000 (+0000) Subject: docs/devel: rename plugins.rst to tcg-plugins.rst X-Git-Tag: v4.2.0-rc3~15^2~3 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=8ea6abf0d06c8a86af93bfc8135301aae1480b1f;p=thirdparty%2Fqemu.git docs/devel: rename plugins.rst to tcg-plugins.rst This makes it a bit clearer what this is about. Signed-off-by: Alex Bennée Reviewed-by: Philippe Mathieu-Daudé --- diff --git a/MAINTAINERS b/MAINTAINERS index dfb7932608d..5e5e3e52d61 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 2ff058bae38..c86a3cdff2f 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