diff --git a/makefile b/makefile
index f809951..555fda2 100644
--- a/makefile
+++ b/makefile
@@ -16,12 +16,15 @@ repl:
 spagobuild:
 	spago build
 
-docs:
+docs-with-search:
 	spago docs
 
+docs:
+	spago docs --no-search
+
 DOCS_HTTPD_ACCESS_LOGS ?= /tmp/docs-access.log
 DOCS_HTTPD_ADDR        ?= 127.0.0.1
-DOCS_HTTPD_PORT        ?= 30000
+DOCS_HTTPD_PORT        ?= 31000
 DOCS_DIR               ?= generated-docs/html
 serve-docs: docs
 	darkhttpd $(DOCS_DIR) --addr $(DOCS_HTTPD_ADDR) --port $(DOCS_HTTPD_PORT) --log $(DOCS_HTTPD_ACCESS_LOGS)