From 7fdb266b2484f6d0d8aba6de85fcb27a737134bd Mon Sep 17 00:00:00 2001 From: Tim Wojtulewicz Date: Mon, 18 Aug 2025 16:36:43 +0000 Subject: [PATCH] Fix ci/update-zeekygen-docs to agree with ruff-format --- ci/update-zeekygen-docs.sh | 2 +- doc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/update-zeekygen-docs.sh b/ci/update-zeekygen-docs.sh index 4884994f24..3df9797a6f 100755 --- a/ci/update-zeekygen-docs.sh +++ b/ci/update-zeekygen-docs.sh @@ -64,7 +64,7 @@ branch="$(git branch --show-current)" if [[ "$branch" =~ ^release/.* ]]; then doc_config_file=$source_dir/doc/conf.py cat ${doc_config_file} | sed \ - -e "s#\(zeek_code_version[[:space:]]*=[[:space:]]*\)[^\n]*#\1'$branch'#g" \ + -e "s#\(zeek_code_version[[:space:]]*=[[:space:]]*\)[^\n]*#\1\"$branch\"#g" \ >${doc_config_file}.tmp mv ${doc_config_file}.tmp ${doc_config_file} fi diff --git a/doc b/doc index 7b8c31b46b..f7230cfebb 160000 --- a/doc +++ b/doc @@ -1 +1 @@ -Subproject commit 7b8c31b46b35b8143b431a333e1487d6a0427e7f +Subproject commit f7230cfebb1a4df07146ce2a06b31c6a826cbbfa