Makefile: new file

This commit is contained in:
Oliver Smith 2020-08-06 15:30:02 +02:00
parent 2908848f3d
commit 197aa05da3
No known key found for this signature in database
GPG key ID: 5AE7F5513E0885CB
2 changed files with 23 additions and 0 deletions

1
.gitignore vendored Normal file
View file

@ -0,0 +1 @@
/out

22
Makefile Normal file
View file

@ -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