Re: Why does Makefile depend on BUILT_SOURCES?

[Tom Tromey]

>>   Ok, I will do. BTW, now does Jim have the maintainship? I thought
>> you were the maintainer.

I am, but I haven't had much time to check things in lately.
Neither has Alexandre, I think.  I'm hoping Jim will.

T