From f4b0742a35b8e9adab3715eb5e3231104d626f19 Mon Sep 17 00:00:00 2001 From: Kefu Chai Date: Wed, 14 Apr 2021 16:29:39 +0800 Subject: [PATCH] admin/build-doc: use htmldir builder for livehtml otherwise livehtml uses the default html builder. so we can copy and paste the partial URL to cross check the rendering result. Signed-off-by: Kefu Chai --- admin/build-doc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/admin/build-doc b/admin/build-doc index 6738fc8f64f..d8b82b32c97 100755 --- a/admin/build-doc +++ b/admin/build-doc @@ -96,7 +96,7 @@ for target in $sphinx_targets; do ;; livehtml) $vdir/bin/pip install --quiet sphinx-autobuild - $vdir/bin/sphinx-autobuild --re-ignore '.*\.dot' "$@" \ + $vdir/bin/sphinx-autobuild --re-ignore '.*\.dot' -b dirhtml "$@" \ $TOPDIR/doc $TOPDIR/build-doc/output/html ;; esac -- 2.39.5