From c0dabc6889d78bd542a88af74c079c2741c3abfc Mon Sep 17 00:00:00 2001
From: Philipp Gesang <phg@phi-gamma.net>
Date: Thu, 29 Sep 2016 23:07:50 +0200
Subject: =?UTF-8?q?[build]=20reinstate=20the=20=E2=80=9Cinstall=E2=80=9D?=
 =?UTF-8?q?=20target?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 Makefile | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/Makefile b/Makefile
index a131f3a..e59b43e 100644
--- a/Makefile
+++ b/Makefile
@@ -198,16 +198,18 @@ $(TDS_ZIP): $(DOCS) $(ALL_STATUS) check
 
 sign: $(CTAN_ZIPSIG)
 
-.PHONY: package install manifest clean mrproper show showtargets check import news
+.PHONY: package install manifest clean mrproper show showtargets
+.PHONY: check import news tds ctan sign package loader
 
+ifndef DESTDIR
 install:
-	@echo "	××××××××××××××××××××××××××××××××"
-	@echo "	There is no “install” target."
-	@echo "	××××××××××××××××××××××××××××××××"
-	@echo "	Compile a TDS zipball (make tds)"
-	@echo "	and extract that into your local"
-	@echo "	TEXMF instead."
-	@echo "	××××××××××××××××××××××××××××××××"
+	$(error "in order to install you need to provide $$DESTDIR")
+else
+install: $(TDS_ZIP)
+	$(info installing to destination “$(DESTDIR)”)
+	install -dm755 "$(DESTDIR)"
+	unzip "$(TDS_ZIP)" -d "$(DESTDIR)"
+endif
 
 manifest:
 	@echo "Source files:"
-- 
cgit v1.2.3