Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 15 additions & 0 deletions dev/release/post-08-docs.sh
Original file line number Diff line number Diff line change
Expand Up @@ -86,6 +86,21 @@ if [ "$is_major_release" = "yes" ] ; then
fi
git add docs
git commit -m "[Website] Update documentations for ${version}"

# Update DOCUMENTATION_OPTIONS.theme_switcher_version_match and
# DOCUMENTATION_OPTIONS.show_version_warning_banner
pushd docs/${previous_series}
find ./ \
-type f \
-exec \
sed -i.bak \
-e "s/DOCUMENTATION_OPTIONS.theme_switcher_version_match = '';/DOCUMENTATION_OPTIONS.theme_switcher_version_match = '${previous_version}';/g" \
-e "s/DOCUMENTATION_OPTIONS.show_version_warning_banner = false/DOCUMENTATION_OPTIONS.show_version_warning_banner = true/g" \
{} \;
find ./ -name '*.bak' -delete
popd
git add docs/${previous_series}
git commit -m "[Website] Update warning banner for ${previous_series}"
git clean -d -f -x
popd

Expand Down