From 2f369adfefb603f95feca505d9bc93f8cb7d6ac9 Mon Sep 17 00:00:00 2001 From: Philippe Pittoli Date: Sat, 22 Apr 2023 15:49:19 +0200 Subject: [PATCH] Makefile: build documentation. --- makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/makefile b/makefile index ee85ce2..f416acd 100644 --- a/makefile +++ b/makefile @@ -1,7 +1,7 @@ all: build help: - @echo "usage: make [build|install|serve-doc]" + @echo "usage: make [build|install|doc|serve-doc]" ZIGOPTIM ?= ReleaseSafe build: @@ -29,6 +29,9 @@ uninstall: uninstall-library uninstall-header mrproper: rm -r docs zig-cache zig-out 2>/dev/null || true +doc: + zig build-lib -femit-docs src/main.zig + DOC_HTTPD_ACCESS_LOGS ?= /tmp/access.log DOC_HTTPD_ADDR ?= 127.0.0.1 DOC_HTTPD_PORT ?= 35000