From b03ff4fbc81acacabe0573a6fbcf34bb3a2e95d0 Mon Sep 17 00:00:00 2001 From: Oliver Smith Date: Mon, 10 Aug 2020 19:49:09 +0200 Subject: [PATCH] Makefile: use wildcard for userChrome.css files --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 2b2f61b..133c891 100644 --- a/Makefile +++ b/Makefile @@ -1,7 +1,7 @@ # Copyright 2020 Oliver Smith # 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 DISTRO := postmarketOS DESTDIR := @@ -18,8 +18,8 @@ out/home.html: src/homepage/*.html out sed "s/@DISTRO@/$(DISTRO)/g" "$@.temp" > "$@" rm "$@.temp" -out/userChrome.css: src/userChrome/*.css out - ( cd src/userChrome; cat $(USERCHROME_FILES) ) > $@ +out/userChrome.css: $(USERCHROME_FILES) out + cat $(USERCHROME_FILES) > $@ install: all install -Dm644 src/policies.json \