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 ++--
 main.js.in            | 7 +++++++
 userscript-header.txt | 7 -------
 3 files changed, 9 insertions(+), 9 deletions(-)
 delete mode 100644 userscript-header.txt

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:
diff --git a/main.js.in b/main.js.in
index 4444d79..43be680 100644
--- a/main.js.in
+++ b/main.js.in
@@ -1,3 +1,10 @@
+// ==UserScript==
+// @name Peniquitous
+// @description Ubiquitous Ctrl-P & Ctrl-N
+// @version 0.1.0
+// @namespace com.teddywing
+// ==/UserScript==
+
 // Copyright (c) 2015, 2021  Teddy Wing
 //
 // This program is free software: you can redistribute it and/or modify
diff --git a/userscript-header.txt b/userscript-header.txt
deleted file mode 100644
index 9b7eb09..0000000
--- a/userscript-header.txt
+++ /dev/null
@@ -1,7 +0,0 @@
-// ==UserScript==
-// @name Peniquitous
-// @description Ubiquitous Ctrl-P & Ctrl-N
-// @version 0.1.0
-// @namespace com.teddywing
-// ==/UserScript==
-
-- 
cgit v1.2.3