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

2016-02-23 Thread 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".

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

2016-02-23 Thread petensotium at gmail dot com 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69928

petensotium at gmail dot com changed:

   What|Removed |Added

   Severity|normal  |minor