]> asedeno.scripts.mit.edu Git - linux.git/commitdiff
docs: move gcc_plugins.txt to core-api and rename to .rst
authorMauro Carvalho Chehab <mchehab+samsung@kernel.org>
Fri, 19 Apr 2019 22:01:18 +0000 (19:01 -0300)
committerMauro Carvalho Chehab <mchehab+samsung@kernel.org>
Mon, 15 Jul 2019 12:20:27 +0000 (09:20 -0300)
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>
Documentation/core-api/gcc-plugins.rst [moved from Documentation/gcc-plugins.txt with 100% similarity]
Documentation/core-api/index.rst
MAINTAINERS
scripts/gcc-plugins/Kconfig

index 322ac954b390f8d3fae64b298138c0fbc1a54f23..da0ed972d22440f5115e6d104a2b44b4cb1b9a41 100644 (file)
@@ -36,6 +36,7 @@ Core utilities
    memory-hotplug
    protection-keys
    ../RCU/index
+   gcc-plugins
 
 
 Interfaces for kernel debugging
index 4b9fd11466a2b4f5f411e9d4613add84764a08f6..db96cd4a229bd357be9033a73878ae67fe947e95 100644 (file)
@@ -6655,7 +6655,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>
index e9c677a53c7465c8c6487320558899c891726f3a..d33de0b9f4f5f6268460136611756673373e905c 100644 (file)
@@ -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