Dima Kogan <dko...@debian.org> writes:

> Otherwise, I can look at patching the sources to obviate the need to
> compile their giant "source" files. That'd probably be a good thing to
> do anyway. This is the preferred solution, right?

Actually, this was straightforward, and I'm about to push a fixed
package. Thanks.

Reply via email to