From: Abderrahim Kitouni Date: Mon, 9 Oct 2023 16:41:49 +0000 (+0100) Subject: doc-sync: add man/ to the passed directory X-Git-Tag: v255-rc1~288^2~1 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=75481bebc1b826a442e15dadb8b3f3b321cd2d3e;p=thirdparty%2Fsystemd.git doc-sync: add man/ to the passed directory This mirrors the behaviour before multiple version support --- diff --git a/tools/sync-docs.py b/tools/sync-docs.py index bab99f8cb34..eab425e718b 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"), ] )