--- Makefile.orig 2017-05-15 07:49:44 UTC +++ Makefile @@ -120,8 +120,8 @@ clean:: install: mkdir -p $(prefix) $(bindir) - $(INSTALL) -m 755 halibut $(bindir)/halibut - $(MAKE) -C ../doc install prefix="$(prefix)" INSTALL="$(INSTALL)" + $(INSTALL) -m 755 halibut $(DESTDIR)$(bindir)/halibut + $(MAKE) -C ../doc install prefix="$(DESTDIR)$(prefix)" INSTALL="$(INSTALL)" FORCE: # phony target to force version.o to be rebuilt every time