Generate and serve documentation.

2023-07-08 15:52:08 +02:00 · 2023-07-08 15:52:08 +02:00 · 05f256b4e8
parent dafb90b71a
commit 05f256b4e8
1 changed files with 10 additions and 0 deletions
--- a/10
+++ b/10
@ -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