diff options
| author | Teddy Wing | 2021-03-21 17:00:38 +0100 |
|---|---|---|
| committer | Teddy Wing | 2021-03-21 17:45:47 +0100 |
| commit | 1e7a1cb1bf70736cf1673faa1ebc4119cb058771 (patch) | |
| tree | 63807acf0c3000f777ff8794e3eda60c0c365368 /Makefile | |
| parent | dad4ca866f7c6a7b3795759a0263c33ffbba2cca (diff) | |
| download | Peniquitous-1e7a1cb1bf70736cf1673faa1ebc4119cb058771.tar.bz2 | |
Makefile: Add a new `peniquitous.user.js` target
Don't need Browserify. Just concatenate the user script header and the
compiled `main.js`.
Rebuild the `peniquitous.user.js` user script file.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -37,6 +37,9 @@ 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 > $@ + .PHONY: clean clean: rm -rf build |
