diff options
| author | Gerald Pfeifer <gerald@pfeifer.com> | 2015-04-13 23:31:10 +0000 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@gcc.gnu.org> | 2015-04-13 23:31:10 +0000 |
| commit | da3831fdea26c2ab1c719f44c3ad7bc940abec8f (patch) | |
| tree | c34a065c9a88a5c22f92a95cead485f5ae65a268 /gcc | |
| parent | 272ccea97c5493cf5eceb18543da38ee3b74f132 (diff) | |
| download | gcc-da3831fdea26c2ab1c719f44c3ad7bc940abec8f.zip gcc-da3831fdea26c2ab1c719f44c3ad7bc940abec8f.tar.gz gcc-da3831fdea26c2ab1c719f44c3ad7bc940abec8f.tar.bz2 | |
* doc/plugins.texi: Rewrite first introductory paragraph.
From-SVN: r222065
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/doc/plugins.texi | 6 |
2 files changed, 7 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index fe22835..9205c13 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2015-04-13 Gerald Pfeifer <gerald@pfeifer.com> + + * doc/plugins.texi: Rewrite first introductory paragraph. + 2015-04-12 Jan Hubicka <hubicka@ucw.cz> * tree-vrp.c (nonnull_arg_p): THIS pointers and references are non-zero. diff --git a/gcc/doc/plugins.texi b/gcc/doc/plugins.texi index 637a00e..c6caa19 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. |