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