diff options
author | Teddy Wing | 2021-03-21 18:14:07 +0100 |
---|---|---|
committer | Teddy Wing | 2021-03-21 18:17:46 +0100 |
commit | 85bf35463de38bbbd6a4cd1924222bc713dd1959 (patch) | |
tree | 464e989d2fe98880f37ffe57504985512b649241 /Makefile | |
parent | 3dd31fad74fe802b1a3a653dfb8a8ff49da30779 (diff) | |
download | Peniquitous-master.tar.bz2 |
We're not including anything above `main.js.in`, so the top of that file
always ends up as the top of the final user script. We don't need a
separate build step to include it.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -48,8 +48,8 @@ build/main.js: main.js.in $(addprefix build/,$(IMPORTS_BASENAME)) $< \ > $@ -peniquitous.user.js: build/main.js userscript-header.txt - cat userscript-header.txt build/main.js > $@ +peniquitous.user.js: build/main.js + cp $< $@ .PHONY: clean clean: |