From ca03d5d0c57c5a09280721c2022cc013c34c6836 Mon Sep 17 00:00:00 2001
From: Andrej730 <azhilenkov@gmail.com>
Date: Wed, 13 Aug 2025 13:34:22 +0500
Subject: [PATCH] bonsai/docs/make - server target

---
 src/bonsai/docs/Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/bonsai/docs/Makefile b/src/bonsai/docs/Makefile
index d4bb2cbb9e..2a1ee27a94 100644
--- a/src/bonsai/docs/Makefile
+++ b/src/bonsai/docs/Makefile
@@ -11,9 +11,15 @@ BUILDDIR      = _build
 # Put it first so that "make" without argument is like "make help".
 help:
 	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+	@echo ""
+	@echo "You can also do 'make server' to launch html server for previously built html docs."
 
 .PHONY: help Makefile
 
+server:
+	python -m http.server 8080 --directory $(BUILDDIR)/html
+.PHONY: server Makefile
+
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile