From 85bf35463de38bbbd6a4cd1924222bc713dd1959 Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Sun, 21 Mar 2021 18:14:07 +0100
Subject: Move userscript-header.txt into main.js.in

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.
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 71c081c..2a2402e 100644
--- a/Makefile
+++ b/Makefile
@@ -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:
-- 
cgit v1.2.3