[PATCH] Fix missing headers for plugin [was Miss head file diagnostic.h in plugin.h?]

[Ralf Wildenhues]

* Joseph S. Myers wrote on Tue, Nov 30, 2010 at 12:50:02PM CET:
> Since there is now a GNU make 3.82 release, I wonder if for 4.7 
> we could remove the manually maintained dependencies and arrange things so 
> that with GNU make 3.82 or later you get automatic dependency generation 
> (see Tom's patch that had to be reverted a while back because of bugs in 
> older GNU make releases) and with older GNU make you get a safe but stupid 
> dependency of all .o files on all headers?

Sounds like an idea worth pursuing.

Thanks,
Ralf