From e8d39e18cb50436770c8de9e1173a7caa992c4e1 Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Sat, 18 Oct 2025 11:34:02 +0200
Subject: [PATCH] Default release mode: small.

---
 makefile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/makefile b/makefile
index cd6cfa0..a241672 100644
--- a/makefile
+++ b/makefile
@@ -4,12 +4,15 @@ help:
 	@echo "usage: make [build|install|doc|serve-doc]"
 
 ZIGOPTS ?=
-ZIGOPTIM ?= ReleaseSafe
+ZIGRELEASE ?= small
 
 -include makefile.target
 
 build:
-	zig build -Doptimize=$(ZIGOPTIM) $(ZIGOPTS) $(TARGET_OPTION)
+	zig build --release=$(ZIGRELEASE) $(ZIGOPTS) $(TARGET_OPTION)
+
+clean:
+	-rm -r zig-out/
 
 PREFIX       ?= /usr/local
 LIBDIR       ?= $(PREFIX)/lib