Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 14:48:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Fix ci/update-zeekygen-docs to agree with ruff-format

Browse source
This commit is contained in:
Tim Wojtulewicz 2025-08-18 16:36:43 +00:00
parent 4d64c955ac
commit 7fdb266b24
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ci/update-zeekygen-docs.sh
View file

@ -64,7 +64,7 @@ branch="$(git branch --show-current)"
if [[ "$branch" =~ ^release/.* ]]; then if [[ "$branch" =~ ^release/.* ]]; then
doc_config_file=$source_dir/doc/conf.py doc_config_file=$source_dir/doc/conf.py
cat ${doc_config_file} | sed \ 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 >${doc_config_file}.tmp
mv ${doc_config_file}.tmp ${doc_config_file} mv ${doc_config_file}.tmp ${doc_config_file}
fi fi

2
doc

@ -1 +1 @@
Subproject commit 7b8c31b46b35b8143b431a333e1487d6a0427e7f Subproject commit f7230cfebb1a4df07146ce2a06b31c6a826cbbfa