From 093db2e58de5381d0cfeffa303e10562e1b2153e Mon Sep 17 00:00:00 2001 From: Hugo van Kemenade Date: Wed, 15 Nov 2023 21:46:26 +0200 Subject: [PATCH] Document 'make htmllive' --- Doc/README.rst | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Doc/README.rst b/Doc/README.rst index a3bb5fa5445c23..3bf8b5dddbad05 100644 --- a/Doc/README.rst +++ b/Doc/README.rst @@ -62,6 +62,10 @@ Available make targets are: * "htmlview", which re-uses the "html" builder, but then opens the main page in your default web browser. +* "htmllive", which re-uses the "html" builder, rebuilds the docs, + starts a local server, and automatically reloads the page in your browser + when you make changes to reST files (Unix only). + * "htmlhelp", which builds HTML files and a HTML Help project file usable to convert them into a single Compiled HTML (.chm) file -- these are popular under Microsoft Windows, but very handy on every platform.