On Sat, Sep 17, 2016 at 3:38 PM, Martin Natano <nat...@natano.net> wrote:
> I think we should be using ${INSTALL} here like in all the other
> Makefile's. Ok?

Looks right.  Assuming that works (unlike _my_ last modification to
those...) ok guenther@

Reply via email to