Remove most mentions of pmOS / make them optional

This commit is contained in:
Oliver Smith 2020-08-06 15:42:19 +02:00
parent 197aa05da3
commit c1eafe0f8f
No known key found for this signature in database
GPG key ID: 5AE7F5513E0885CB
6 changed files with 68 additions and 66 deletions

View file

@ -1,4 +1,6 @@
USERCHROME_FILES := root.css urlbar.css appMenu.css
HOMEPAGE_FILES := head.html distro_links.html bottom.html
DISTRO := postmarketOS
all: out/home.html out/policies.json out/prefs.js out/userChrome.css
@ -7,8 +9,10 @@ clean:
out:
mkdir out
out/home.html: src/home.html out
cat $< > $@
out/home.html: src/homepage/*.html out
( cd src/homepage; cat $(HOMEPAGE_FILES) ) > $@.temp
sed "s/@DISTRO@/$(DISTRO)/g" "$@.temp" > "$@"
rm "$@.temp"
out/policies.json: src/policies.json out
cat $< > $@