Am Mittwoch, 30. August 2006 18:37 schrieb Alexander Neundorf: > Then the plugin should really only depend on the generated header(s). That sounds more useful indeed. Greetings, Stephan