From 9d95efb30866d4d68c2c7ebead3027d61ee8b0ed Mon Sep 17 00:00:00 2001 From: Sam Rabin Date: Mon, 26 May 2025 23:04:58 -0600 Subject: [PATCH] build_docs_to_publish: Pass --container-cli-tool to build_docs. --- build_docs_to_publish | 2 ++ 1 file changed, 2 insertions(+) diff --git a/build_docs_to_publish b/build_docs_to_publish index 8d4a653..d498926 100755 --- a/build_docs_to_publish +++ b/build_docs_to_publish @@ -114,6 +114,8 @@ def checkout_and_build(version, permanent_files, args): build_args += ["--static-path", args.static_path] if args.templates_path: build_args += ["--templates-path", args.templates_path] + if args.container_cli_tool: + build_args += ["--container-cli-tool", args.container_cli_tool] print(" ".join(build_args)) build_docs(build_args)