diff options
| -rw-r--r-- | Makefile | 4 | ||||
| -rw-r--r-- | main.js.in | 7 | ||||
| -rw-r--r-- | userscript-header.txt | 7 |
3 files changed, 9 insertions, 9 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: @@ -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== - |