From 26e9218630d53503faa45fb581e2063c32957ced Mon Sep 17 00:00:00 2001
From: Antoine du HAMEL <duhamelantoine1995@gmail.com>
Date: Sun, 3 May 2020 12:34:03 +0200
Subject: [PATCH] tools: add docserve target

Spaws a webserver serving the docs. Helpful to circumvent the OS
permission limitations or to access the docs form a different device on
the local network.
---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile b/Makefile
index 21794191d8b32c..f05b9ad942fb2d 100644
--- a/Makefile
+++ b/Makefile
@@ -813,6 +813,11 @@ out/doc/api/all.json: $(apidocs_json) tools/doc/alljson.js
 docopen: $(apidocs_html)
 	@$(PYTHON) -mwebbrowser file://$(PWD)/out/doc/api/all.html
 
+.PHONY: docserve
+docserve: $(apidocs_html)
+	@$(PYTHON) -mwebbrowser http://localhost:8000/all.html
+	@$(PYTHON) -m http.server -d $(PWD)/out/doc/api
+
 .PHONY: docclean
 docclean:
 	$(RM) -r out/doc