diff options
| author | Jonathan Corbet | 2020-03-02 15:24:04 -0700 |
|---|---|---|
| committer | Jonathan Corbet | 2020-03-10 11:20:46 -0600 |
| commit | 2b4cbd5c950525b6d4d2cd384dcefdd95fedabe3 (patch) | |
| tree | dd40dacd113a4fa407bada3b5369534632e3d2ce /scripts/gcc-plugins | |
| parent | 5e72017279957b764c225f143c16391b3c51f225 (diff) | |
docs: move gcc-plugins to the kbuild manual
Information about GCC plugins is relevant to kernel building, so move this
document to the kbuild manual.
Acked-by: Masahiro Yamada <masahiroy@kernel.org>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'scripts/gcc-plugins')
| -rw-r--r-- | scripts/gcc-plugins/Kconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/gcc-plugins/Kconfig b/scripts/gcc-plugins/Kconfig index e3569543bdac..f8ca236d6165 100644 --- a/scripts/gcc-plugins/Kconfig +++ b/scripts/gcc-plugins/Kconfig @@ -23,7 +23,7 @@ menuconfig 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/core-api/gcc-plugins.rst for details. + See Documentation/kbuild/gcc-plugins.rst for details. if GCC_PLUGINS |