From 05a47b8473e8443d6ab662ec0c6e1a1cdff3111d Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Thu, 29 Dec 2022 12:15:20 +0100
Subject: [PATCH] makefile: add servedoc rule (serving doc through darkhttpd)

---
 zig-impl/makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/zig-impl/makefile b/zig-impl/makefile
index af498dd..10c90c8 100644
--- a/zig-impl/makefile
+++ b/zig-impl/makefile
@@ -27,5 +27,8 @@ clean:
 mrproper: clean
 	@-rm -r docs zig-cache zig-out 2>/dev/null
 
+servedoc:
+	darkhttpd docs/ --addr 127.0.0.1 --port 35000
+
 # You can add your specific instructions there.
 -include makefile.user