From 09d5cf8750f33624e659358806b28debe1af69fd Mon Sep 17 00:00:00 2001 From: buffet Date: Fri, 5 Oct 2018 15:40:45 +0200 Subject: [PATCH] Faster, better, stronger Makefile (also fixed it) --- Makefile | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index eafc792..1f30e2e 100644 --- a/Makefile +++ b/Makefile @@ -55,15 +55,14 @@ seed.html: $(SELIT) $(HIDE) $(LIT) -w "$<" install: all - install -d "$(DESTDIR)$(BINPREFIX)" - install -m 755 "$(KWTARGET)" "$(DESTDIR)$(BINPREFIX)" - install -m 755 "$(SETARGET)" "$(DESTDIR)$(BINPREFIX)" + install -Dm755 "$(KWTARGET)" "$(DESTDIR)$(BINPREFIX)/$(KWTARGET)" + install -Dm755 "$(SETARGET)" "$(DESTDIR)$(BINPREFIX)/$(SETARGET)" uninstall: @echo " [RM] $(KWTARGET)..." $(HIDE) $(RM) "$(DESTDIR)$(BINPREFIX)/$(KWTARGET)" @echo " [RM] $(SETARGET)..." - $(HIDE) $(RM) "$(DESTDIR)$(BINPREFIX)/$(SETARGET)"" + $(HIDE) $(RM) "$(DESTDIR)$(BINPREFIX)/$(SETARGET)" clean: @echo " [RM] $(DEPS)..."