From f32534f134de27fc28aa0215b3db51888e87f224 Mon Sep 17 00:00:00 2001 From: Hugo van Kemenade Date: Thu, 30 Nov 2023 18:01:54 +0200 Subject: [PATCH] make htmllive: open browser when ready --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 42844084f76..a463f5a5583 100644 --- a/Makefile +++ b/Makefile @@ -29,7 +29,7 @@ htmlview: html ## htmllive to rebuild and reload HTML files in your browser .PHONY: htmllive htmllive: SPHINXBUILD = $(VENVDIR)/bin/sphinx-autobuild -htmllive: SPHINXERRORHANDLING = --re-ignore="/\.idea/|/venv/|/pep-0000.rst|/topic/" +htmllive: SPHINXERRORHANDLING = --re-ignore="/\.idea/|/venv/|/pep-0000.rst|/topic/" --open-browser --delay 0 htmllive: html ## dirhtml to render PEPs to "index.html" files within "pep-NNNN" directories