[Bug web/69928] New: incorrect reference to gcc-plugin.h in plugin documentation

[petensotium at gmail dot com]

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".