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