diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..04afd07 --- /dev/null +++ b/Makefile @@ -0,0 +1,12 @@ +default: + $(info This is the Makefile for de.wikimedia.Defaults.oxt) + $(info To build the extension run (requires zip):) + $(info make build) + $(info To install the built extension run (requires sudo):) + $(info make install) + +build: src + cd src/ && zip -r ../de.wikimedia.Defaults.oxt * + +install: build + sudo unopkg add de.wikimedia.Defaults.oxt --shared