https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69928
Bug ID: 69928
Summary: incorrect reference to gcc-plugin.h in plugin
documentation
Product: gcc
Version: 6.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: web
Assignee: unassigned at gcc dot gnu.org
Reporter: petensotium at gmail dot com
Target Milestone: ---
On the page "https://gcc.gnu.org/onlinedocs/gccint/Plugin-API.html#Plugin-API";,
the first sentence says "Plugins are activated by the compiler at specific
events as defined in gcc-plugin.h." However, I was only able to find a list of
#includes in this file, with the even definitions being in "plugin.def".
