On Tue, 4 Mar 2008 16:41:17 -0600, "Jeff Pohlmeyer" yetanothergeek@gmail.com wrote:
On Tue, Mar 4, 2008 at 6:18 AM, Nick Treleaven nick.treleaven@btinternet.com wrote:
I think we should install the header files for plugins with the usual 'make install'.
I agree 100% -- devel package or not, I would be much happier if I could just say:
Hehe. It wasn't really a question of if we do this or not. It was planned since the plugin interface exists. We just delayed this and then forgot it. I'll work on this soon, before 0.14, hopefully.
Regards, Enrico