diff --git a/site/make_version.sh b/site/make_version.sh index b29bb5a..ca1fe89 100755 --- a/site/make_version.sh +++ b/site/make_version.sh @@ -15,4 +15,9 @@ cp *.md versions/$version/ sed -i '/## What/,$d' versions/$version/index.md echo "## Version $version archive" >> versions/$version/index.md git add versions/$version/*.md + +sed -i "/const version_names/s#\]\$#, '${version}']#" .vitepress/config.mjs +git add .vitepress/config.mjs + git commit . -m "Archive documentation for version $version" --no-verify +