From 5e1a806846fd9fb89976c3f4d1a035715a99406d Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jdimino@janestreet.com>
Date: Tue, 27 Feb 2018 10:25:04 +0000
Subject: [PATCH] Add a livedoc target in the Makefile

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index 75b0d10d..8d04826a 100644
--- a/Makefile
+++ b/Makefile
@@ -44,6 +44,10 @@ clean:
 doc:
 	cd doc && sphinx-build . _build
 
+livedoc:
+	cd doc && sphinx-autobuild . _build \
+	  -p 8888 -q  --host $(shell hostname) -i '.#*'
+
 update-jbuilds: $(BIN)
 	$(BIN) build --dev @doc/runtest --auto-promote