From 197aa05da38c5fbaecf28df7d9cef4ffd5ec8678 Mon Sep 17 00:00:00 2001 From: Oliver Smith Date: Thu, 6 Aug 2020 15:30:02 +0200 Subject: [PATCH] Makefile: new file --- .gitignore | 1 + Makefile | 22 ++++++++++++++++++++++ 2 files changed, 23 insertions(+) create mode 100644 .gitignore create mode 100644 Makefile diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..e2e7327 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +/out diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..31f2ee3 --- /dev/null +++ b/Makefile @@ -0,0 +1,22 @@ +USERCHROME_FILES := root.css urlbar.css appMenu.css + +all: out/home.html out/policies.json out/prefs.js out/userChrome.css + +clean: + rm -rf out +out: + mkdir out + +out/home.html: src/home.html out + cat $< > $@ + +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