summaryrefslogtreecommitdiff
path: root/gcc/doc/plugins.texi
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/doc/plugins.texi')
-rw-r--r--gcc/doc/plugins.texi6
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.