Move userscript-header.txt into main.js.inHEADv0.1.0master

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.

3 files changed, 9 insertions, 9 deletions

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