From bbc20a0a1213dbb0184fb963d799e5118ed09be6 Mon Sep 17 00:00:00 2001 From: Philippe Pittoli Date: Fri, 16 Feb 2024 02:22:03 +0100 Subject: [PATCH] Quick fix for the doc generation. --- makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/makefile b/makefile index 2005023..ce862d4 100644 --- a/makefile +++ b/makefile @@ -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