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