From cc6a08633690fce44b97f9616ca5faa689d1def5 Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Sat, 20 Mar 2021 23:45:32 +0100
Subject: Add user script header

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 1058ae6..e08944a 100644
--- a/Makefile
+++ b/Makefile
@@ -18,7 +18,10 @@ BROWSERIFY := ./node_modules/.bin/browserify
 
 all: peniquitous.user.js
 
-peniquitous.user.js: main.js peniquitous.js
+peniquitous.user.js: peniquitous.js userscript-header.txt
 	$(BROWSERIFY) \
 		--outfile $@ \
 		$<
+
+	cat userscript-header.txt $@ > "$@.tmp"
+	mv "$@.tmp" $@
-- 
cgit v1.2.3