From e69c7536ce7a9a59e372e083a249924fb892728d Mon Sep 17 00:00:00 2001 From: Masin Al-Dujaili Date: Tue, 20 Jan 2026 16:56:07 +0100 Subject: [PATCH] I did a make --- Makefile | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 Makefile 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