From 08e22881382e104bc77338dc5076c4b350a2661e Mon Sep 17 00:00:00 2001 From: Arnaud Ferraris Date: Thu, 20 Aug 2020 13:23:27 +0200 Subject: [PATCH] Makefile: allow to specify the firefox system directory (MR 1) In some cases, such as the ESR package on Debian, Firefox can be installed to a different directory. This commit alters the Makefile so it's possible to specify the Firefox directory from the command-line. --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 133c891..090fca3 100644 --- a/Makefile +++ b/Makefile @@ -5,6 +5,7 @@ USERCHROME_FILES := $(sort $(wildcard src/userChrome/*.css)) HOMEPAGE_FILES := head.html distro_links.html bottom.html DISTRO := postmarketOS DESTDIR := +FIREFOX_DIR := /usr/lib/firefox all: out/home.html out/userChrome.css @@ -25,7 +26,7 @@ install: all install -Dm644 src/policies.json \ "$(DESTDIR)/etc/firefox/policies/policies.json" install -Dm644 src/prefs.js \ - "$(DESTDIR)/usr/lib/firefox/defaults/pref/mobile-config.js" + "$(DESTDIR)/$(FIREFOX_DIR)/defaults/pref/mobile-config.js" install -Dm644 "out/home.html" \ "$(DESTDIR)/usr/share/mobile-config-firefox/home.html" install -Dm644 "out/userChrome.css" \