fliegerjohn/mobile-config-firefox
1
0
Fork 1
mirror of https://codeberg.org/claui/mobile-config-firefox.git synced 2025-11-04 04:25:55 +00:00
Code Issues Projects Releases Packages Wiki Activity

Makefile: add install target

Browse source
This commit is contained in:
Oliver Smith 2020-08-06 15:52:51 +02:00
parent 00db529a04
commit 016a9bb845
No known key found for this signature in database
GPG key ID: 5AE7F5513E0885CB
1 changed files with 13 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

21
Makefile
View file

@ -1,8 +1,9 @@
USERCHROME_FILES := root.css urlbar.css appMenu.css
HOMEPAGE_FILES := head.html distro_links.html bottom.html
DISTRO := postmarketOS
DESTDIR :=
all: out/home.html out/policies.json out/prefs.js out/userChrome.css
all: out/home.html out/userChrome.css
clean:
rm -rf out
@ -14,13 +15,17 @@ out/home.html: src/homepage/*.html out
sed "s/@DISTRO@/$(DISTRO)/g" "$@.temp" > "$@"
rm "$@.temp"
out/policies.json: src/policies.json out
cat $< > $@
out/prefs.js: src/prefs.js out
cat $< > $@
out/userChrome.css: out src/userChrome/*.css
( cd src/userChrome; cat $(USERCHROME_FILES) ) > $@
.PHONY: all clean
install:
install -Dm644 src/policies.json \
"$(DESTDIR)/etc/firefox/policies/policies.json"
install -Dm644 out/prefs.js \
"$(DESTDIR)/usr/lib/firefox/defaults/pref/mobile-config.js"
install -Dm644 "out/home.html" \
"$(DESTDIR)/usr/share/mobile-config-firefox/home.html"
install -Dm644 "out/userChrome.css" \
"$(DESTDIR)/etc/mobile-config-firefox/userChrome.css"
.PHONY: all clean install