diff options
Diffstat (limited to 'gcc/doc/plugins.texi')
-rw-r--r-- | gcc/doc/plugins.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/doc/plugins.texi b/gcc/doc/plugins.texi index 637a00edf55..c6caa19eb15 100644 --- a/gcc/doc/plugins.texi +++ b/gcc/doc/plugins.texi @@ -7,9 +7,9 @@ @chapter Plugins @cindex Plugins -GCC plugin is a loadable module that provides extra -features to the compiler, which they can further pass -around as a shareable module. +GCC plugins are loadable modules that provide extra features to the +compiler. Like GCC itself they can be distributed in source and +binary forms. GCC plugins provide developers with a rich subset of the GCC API to allow them to extend GCC as they see fit. |