Quick fix to generate the documentation.

beta
Philippe Pittoli 2024-02-16 02:36:48 +01:00
parent 6abd592aa5
commit aec64681eb
1 changed files with 5 additions and 2 deletions

View File

@ -16,12 +16,15 @@ repl:
spagobuild: spagobuild:
spago build spago build
docs: docs-with-search:
spago docs spago docs
docs:
spago docs --no-search
DOCS_HTTPD_ACCESS_LOGS ?= /tmp/docs-access.log DOCS_HTTPD_ACCESS_LOGS ?= /tmp/docs-access.log
DOCS_HTTPD_ADDR ?= 127.0.0.1 DOCS_HTTPD_ADDR ?= 127.0.0.1
DOCS_HTTPD_PORT ?= 30000 DOCS_HTTPD_PORT ?= 31000
DOCS_DIR ?= generated-docs/html DOCS_DIR ?= generated-docs/html
serve-docs: docs serve-docs: docs
darkhttpd $(DOCS_DIR) --addr $(DOCS_HTTPD_ADDR) --port $(DOCS_HTTPD_PORT) --log $(DOCS_HTTPD_ACCESS_LOGS) darkhttpd $(DOCS_DIR) --addr $(DOCS_HTTPD_ADDR) --port $(DOCS_HTTPD_PORT) --log $(DOCS_HTTPD_ACCESS_LOGS)