diff options
| author | Andre Vehreschild <vehre@gmx.de> | 2015-04-14 15:58:19 +0200 |
|---|---|---|
| committer | Andre Vehreschild <vehre@gmx.de> | 2015-04-14 15:58:19 +0200 |
| commit | 93165dbdfd0406ae43d6dda7cb358fb8c1fcbad7 (patch) | |
| tree | 69186c5617ba843643a58bafef5b351f811391c6 /gcc/doc/plugins.texi | |
| parent | b70cd7cb6fd66a6f5dfbfb988861cec47c6e2c7a (diff) | |
| parent | 33a2aaa4b5b40e1d705587d8fb669473263baff3 (diff) | |
| download | gcc-vehre/base.tar.gz | |
Merge remote-tracking branch 'trunk' of git://gcc.gnu.org/git/gcc into vehre/allvehre/base
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. |