From ebce85137d4586f9639b5088c8f9f0504acb9fad Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Tue, 27 Feb 2018 11:06:45 +0000 Subject: [PATCH] Update livedoc target --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 8d04826a..2c7347d7 100644 --- a/Makefile +++ b/Makefile @@ -46,7 +46,7 @@ doc: livedoc: cd doc && sphinx-autobuild . _build \ - -p 8888 -q --host $(shell hostname) -i '.#*' + -p 8888 -q --host $(shell hostname) -r '\.#.*' update-jbuilds: $(BIN) $(BIN) build --dev @doc/runtest --auto-promote