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

2016-02-23 Thread petensotium at gmail dot com
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 a

[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