From 8ffc75757fdaef7fd2705e2cf5d1200d7bee0570 Mon Sep 17 00:00:00 2001 From: Oliver Smith Date: Thu, 20 Aug 2020 21:49:27 +0200 Subject: [PATCH] src/prefs.js: rename to src/mobile-config-prefs.js (MR 2) Give the file the same name in the source dir, as it will have after installing. --- Makefile | 4 ++-- src/{prefs.js => mobile-config-prefs.js} | 0 2 files changed, 2 insertions(+), 2 deletions(-) rename src/{prefs.js => mobile-config-prefs.js} (100%) diff --git a/Makefile b/Makefile index c112679..3d8f39d 100644 --- a/Makefile +++ b/Makefile @@ -25,8 +25,8 @@ out/userChrome.css: $(USERCHROME_FILES) out install: all install -Dm644 src/policies.json \ "$(DESTDIR)/etc/firefox/policies/policies.json" - install -Dm644 src/prefs.js \ - "$(DESTDIR)/$(FIREFOX_DIR)/defaults/pref/mobile-config.js" + install -Dm644 src/mobile-config-prefs.js \ + "$(DESTDIR)/$(FIREFOX_DIR)/defaults/pref/mobile-config-prefs.js" install -Dm644 src/mobile-config-autoconfig.js \ "$(DESTDIR)/$(FIREFOX_DIR)/mobile-config-autoconfig.js" install -Dm644 "out/home.html" \ diff --git a/src/prefs.js b/src/mobile-config-prefs.js similarity index 100% rename from src/prefs.js rename to src/mobile-config-prefs.js