From 35413b8ae2c2559cd6944ed5e5516e367ecac5cb Mon Sep 17 00:00:00 2001 From: Kefu Chai Date: Thu, 25 Mar 2021 01:00:23 +0800 Subject: [PATCH] admin/build-doc: build man page in proper directory Signed-off-by: Kefu Chai --- admin/build-doc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/admin/build-doc b/admin/build-doc index bb2a46282c8..fd63db4daa7 100755 --- a/admin/build-doc +++ b/admin/build-doc @@ -91,7 +91,8 @@ for target in $sphinx_targets; do ;; man) $vdir/bin/sphinx-build -W --keep-going -a -b man -t man -d doctrees \ - $TOPDIR/doc $TOPDIR/build-doc/output/$target + -c $TOPDIR/man \ + $TOPDIR/doc/man $TOPDIR/build-doc/output/$target ;; livehtml) $vdir/bin/pip install --quiet sphinx-autobuild -- 2.47.3