From 05f256b4e823e96eafa15d2d09ffb1d12a5e3ad1 Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Sat, 8 Jul 2023 15:52:08 +0200
Subject: [PATCH] Generate and serve documentation.

---
 makefile | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/makefile b/makefile
index bfbb519..9032199 100644
--- a/makefile
+++ b/makefile
@@ -13,6 +13,16 @@ repl:
 spagobuild:
 	spago build
 
+docs:
+	spago docs
+
+DOCS_HTTPD_ACCESS_LOGS ?= /tmp/docs-access.log
+DOCS_HTTPD_ADDR        ?= 127.0.0.1
+DOCS_HTTPD_PORT        ?= 30000
+DOCS_DIR               ?= generated-docs/html
+serve-docs: docs
+	darkhttpd $(DOCS_DIR) --addr $(DOCS_HTTPD_ADDR) --port $(DOCS_HTTPD_PORT) --log $(DOCS_HTTPD_ACCESS_LOGS)
+
 install-esbuild:
 	@echo "install ebbuild"
 	[ -f node_modules/.bin/esbuild ] || npm install esbuild