[Babel-users] Makefile Patch

[Juliusz Chroboczek]

> This sounds like the best long-term solution if upstream are content
> with the idea,

Patch?  (No opinion yet, but a patch is something you can discuss.)

I really don't care much -- the two main downstreams are Debian and
OpenWRT, and both have competent maintainers who'll work around anything
stupid I do in the makefile.  Still, I'm happy to make downstream's life
easier.

-- Juliusz