diff options
| author | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-04-13 23:31:10 +0000 |
|---|---|---|
| committer | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-04-13 23:31:10 +0000 |
| commit | 9acf6420d1e16457ed290812efcae77e45182c86 (patch) | |
| tree | c34a065c9a88a5c22f92a95cead485f5ae65a268 /gcc/doc/plugins.texi | |
| parent | f24029af2a0926cdf92ffba5ea01a23249f986b7 (diff) | |
| download | gcc-9acf6420d1e16457ed290812efcae77e45182c86.tar.gz | |
* doc/plugins.texi: Rewrite first introductory paragraph.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@222065 138bc75d-0d04-0410-961f-82ee72b054a4
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. |