I did a make

2026-01-20 16:56:07 +01:00 · 2026-01-20 16:56:07 +01:00 · e69c7536ce
parent 1d606632c5
commit e69c7536ce
1 changed files with 12 additions and 0 deletions
--- a/12
+++ b/12
@ -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