docs: serve GSP site on port 8001

Author: rossant

Makefile

@@ -1,3 +1,5 @@
+DOCS_PORT ?= 8001
+
 help: ## Show this help message
 	@grep -E '^[a-zA-Z0-9_-]+:.*?## .*$$' $(MAKEFILE_LIST) | awk 'BEGIN {FS = ":.*?## "}; {printf "  \033[36m%-15s\033[0m %s\n", $$1, $$2}'
 
@@ -83,7 +85,7 @@ mkdocs_build_gallery: ## Build the MkDocs documentation site for the gallery
 	python ./tools/build_gallery.py
 
 mkdocs_serve: ## Serve the MkDocs documentation locally
-	uv run mkdocs serve
+	uv run mkdocs serve --dev-addr 127.0.0.1:$(DOCS_PORT)
 
 mkdocs_build: mkdocs_philosophy_copy ## Build the MkDocs documentation site
 	uv run mkdocs build