From 75481bebc1b826a442e15dadb8b3f3b321cd2d3e Mon Sep 17 00:00:00 2001 From: Abderrahim Kitouni Date: Mon, 9 Oct 2023 17:41:49 +0100 Subject: [PATCH] doc-sync: add man/ to the passed directory This mirrors the behaviour before multiple version support --- tools/sync-docs.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/sync-docs.py b/tools/sync-docs.py index bab99f8cb3..eab425e718 100755 --- a/tools/sync-docs.py +++ b/tools/sync-docs.py @@ -108,7 +108,7 @@ def main(version, directory, www_target, latest): "--exclude=*", "--omit-dir-times", directory + "/", # copy contents of directory - os.path.join(www_target, d), + os.path.join(www_target, "man", d), ] ) @@ -118,7 +118,7 @@ def main(version, directory, www_target, latest): "-v", os.path.join(directory, "index.json"), os.path.join(directory, "nav.js"), - www_target, + os.path.join(www_target, "man"), ] )