diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2017-09-01 16:36:44 -0400 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2017-09-01 16:36:44 -0400 |
| commit | 50d9164c1f7a4e87989933e848df5c426cd5db29 (patch) | |
| tree | b3841166438dbdc33aab91b6057906ee8c237ae2 /data/extensions/html5-video-everywhere@lejenome.me/Makefile | |
| parent | 3e9407561c478a7813568fd4f6e31746b7230bf8 (diff) | |
Removed Youtube player extension, as Youtube is no longer browsable without javascript
Diffstat (limited to 'data/extensions/html5-video-everywhere@lejenome.me/Makefile')
| -rw-r--r-- | data/extensions/html5-video-everywhere@lejenome.me/Makefile | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/data/extensions/html5-video-everywhere@lejenome.me/Makefile b/data/extensions/html5-video-everywhere@lejenome.me/Makefile deleted file mode 100644 index 933904c..0000000 --- a/data/extensions/html5-video-everywhere@lejenome.me/Makefile +++ /dev/null @@ -1,18 +0,0 @@ -# List of drivers to enable on build - -.NOTPARALLEL : all -all: lint beautify build -lint: - jshint --verbose *.js */*.js -beautify: - find . -name "*.js" -a ! -name "flashgot-*.js" \ - | xargs js-beautify -r - find . -maxdepth 2 -name "*.json" | xargs -n 1 jsonlint -i -build: - jpm xpi -run: - jpm run -watch: - jpm watchpost --post-url http://localhost:8888/ -test: - jpm test |