Makefile: use wildcard for userChrome.css files

This commit is contained in:
Oliver Smith 2020-08-10 19:49:09 +02:00
parent 37b14e3c8b
commit b03ff4fbc8
No known key found for this signature in database
GPG key ID: 5AE7F5513E0885CB

View file

@ -1,7 +1,7 @@
# Copyright 2020 Oliver Smith # Copyright 2020 Oliver Smith
# SPDX-License-Identifier: GPL-3.0-or-later # SPDX-License-Identifier: GPL-3.0-or-later
USERCHROME_FILES := root.css urlbar.css appMenu.css USERCHROME_FILES := $(sort $(wildcard src/userChrome/*.css))
HOMEPAGE_FILES := head.html distro_links.html bottom.html HOMEPAGE_FILES := head.html distro_links.html bottom.html
DISTRO := postmarketOS DISTRO := postmarketOS
DESTDIR := DESTDIR :=
@ -18,8 +18,8 @@ out/home.html: src/homepage/*.html out
sed "s/@DISTRO@/$(DISTRO)/g" "$@.temp" > "$@" sed "s/@DISTRO@/$(DISTRO)/g" "$@.temp" > "$@"
rm "$@.temp" rm "$@.temp"
out/userChrome.css: src/userChrome/*.css out out/userChrome.css: $(USERCHROME_FILES) out
( cd src/userChrome; cat $(USERCHROME_FILES) ) > $@ cat $(USERCHROME_FILES) > $@
install: all install: all
install -Dm644 src/policies.json \ install -Dm644 src/policies.json \