On Thu, Aug 30, 2018, at 6:43 AM, Mark Harfouche wrote:
> We should definitely document that!
Or fix: I'm pretty sure this didn't use to be the case a long time ago.
There must be a way to ensure `pip install` rebuilds if and only if it
is needed, make-like.