From c2ea814e1076e5b4729f8d82f26123661a0c6e75 Mon Sep 17 00:00:00 2001 From: Sam Rabin Date: Wed, 24 Jun 2026 18:15:17 -0600 Subject: [PATCH] Pass build_docs_to_publish args to build_docs. --- build_docs_to_publish | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/build_docs_to_publish b/build_docs_to_publish index 6928d51..dc176c6 100755 --- a/build_docs_to_publish +++ b/build_docs_to_publish @@ -1,4 +1,6 @@ #!/usr/bin/env bash set -e -. ./build_docs build_docs_to_publish +scriptname=build_docs_to_publish + +. ./build_docs