Re: [PATCH 42/43] docs: move gcc_plugins.txt to core-api and rename to .rst

[Kees Cook <keescook@chromium.org>]

On Fri, Jun 28, 2019 at 09:20:38AM -0300, Mauro Carvalho Chehab wrote:
> The gcc_plugins.txt file is already a ReST file. Move it
> to the core-api book while renaming it.
> 
> Signed-off-by: Mauro Carvalho Chehab <mchehab+samsung@kernel.org>

Acked-by: Kees Cook <keescook@chromium.org>

-Kees

> ---
>  Documentation/{gcc-plugins.txt => core-api/gcc-plugins.rst} | 0
>  Documentation/core-api/index.rst                            | 2 +-
>  MAINTAINERS                                                 | 2 +-
>  scripts/gcc-plugins/Kconfig                                 | 2 +-
>  4 files changed, 3 insertions(+), 3 deletions(-)
>  rename Documentation/{gcc-plugins.txt => core-api/gcc-plugins.rst} (100%)
> 
> diff --git a/Documentation/gcc-plugins.txt b/Documentation/core-api/gcc-plugins.rst
> similarity index 100%
> rename from Documentation/gcc-plugins.txt
> rename to Documentation/core-api/gcc-plugins.rst
> diff --git a/Documentation/core-api/index.rst b/Documentation/core-api/index.rst
> index 2466a4c51031..d1e5b95bf86d 100644
> --- a/Documentation/core-api/index.rst
> +++ b/Documentation/core-api/index.rst
> @@ -35,7 +35,7 @@ Core utilities
>     boot-time-mm
>     memory-hotplug
>     protection-keys
> -
> +   gcc-plugins
>  
>  Interfaces for kernel debugging
>  ===============================
> diff --git a/MAINTAINERS b/MAINTAINERS
> index 2cf8abf6d48e..7ba6d174f49f 100644
> --- a/MAINTAINERS
> +++ b/MAINTAINERS
> @@ -6609,7 +6609,7 @@ S:	Maintained
>  F:	scripts/gcc-plugins/
>  F:	scripts/gcc-plugin.sh
>  F:	scripts/Makefile.gcc-plugins
> -F:	Documentation/gcc-plugins.txt
> +F:	Documentation/core-api/gcc-plugins.rst
>  
>  GASKET DRIVER FRAMEWORK
>  M:	Rob Springer <rspringer@google.com>
> diff --git a/scripts/gcc-plugins/Kconfig b/scripts/gcc-plugins/Kconfig
> index e9c677a53c74..d33de0b9f4f5 100644
> --- a/scripts/gcc-plugins/Kconfig
> +++ b/scripts/gcc-plugins/Kconfig
> @@ -23,7 +23,7 @@ config GCC_PLUGINS
>  	  GCC plugins are loadable modules that provide extra features to the
>  	  compiler. They are useful for runtime instrumentation and static analysis.
>  
> -	  See Documentation/gcc-plugins.txt for details.
> +	  See Documentation/core-api/gcc-plugins.rst for details.
>  
>  menu "GCC plugins"
>  	depends on GCC_PLUGINS
> -- 
> 2.21.0
> 

-- 
Kees Cook