@123e16e8 Since I'm quite passionate about Make and what it can do, do you mind if I submit a tiny PR RE some minor improvements to the Makefile? 😅
@588c866e Sure, send it, why not :)