From 3949f34e2ffd6655d7e1dfe187aadf16b2dc0d9b Mon Sep 17 00:00:00 2001 From: Emmanuel Kasper Date: Thu, 9 Apr 2015 14:51:24 +0200 Subject: [PATCH] Add missing ${DESTDIR} to include the jslint script in the debian package. Our Makefile was missing the DESTDIR path variable, so /usr/bin/jslint was copied directly from our source dir, instead of going through the debian packaging step. Signed-off-by: Emmanuel Kasper --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 478e610..15ff263 100644 --- a/Makefile +++ b/Makefile @@ -40,7 +40,7 @@ install: rhinoed_jslint.js jslint mkdir -p ${DESTDIR}/usr/share/${PACKAGE} install -m 0644 rhinoed_jslint.js ${DESTDIR}/usr/share/${PACKAGE}/rhinoed_jslint.js mkdir -p ${DESTDIR}/usr/bin - install -m 0755 jslint /usr/bin + install -m 0755 jslint ${DESTDIR}/usr/bin jslint.js download: wget -O jslint.js http://jslint.com/jslint.js