Quick fix for the doc generation.

2024-02-16 02:22:03 +01:00 · 2024-02-16 02:22:03 +01:00 · bbc20a0a12
commit bbc20a0a12
parent 991a4f36a3
1 changed files with 4 additions and 1 deletions
--- a/5
+++ b/5
@ -12,9 +12,12 @@ run:
 t:
 	spago test

-docs:
+docs-with-search:
 	spago docs

+docs:
+	spago docs --no-search
+
 DOCS_HTTPD_ACCESS_LOGS ?= /tmp/parser-docs-access.log
 DOCS_HTTPD_ADDR        ?= 127.0.0.1
 DOCS_HTTPD_PORT        ?= 30000