From c794881d4f12a9fbd70cb735b6371704705cc67a Mon Sep 17 00:00:00 2001
From: Nadja Reitzenstein <me@dequbed.space>
Date: Thu, 12 May 2022 16:42:18 +0200
Subject: [PATCH] Add `make serve` opening a local dev server

---
 Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index d0c3cbf..9592445 100644
--- a/Makefile
+++ b/Makefile
@@ -12,7 +12,11 @@ BUILDDIR      = build
 help:
 	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 
-.PHONY: help Makefile
+serve:
+	@$(MAKE) html
+	cd $(BUILDDIR)/html && python -m http.server
+
+.PHONY: help serve Makefile
 
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).