Skip to content

Commit

Permalink
chore: Update tool to generate documentation and changelog
Browse files Browse the repository at this point in the history
  • Loading branch information
XavierBerger committed Jan 26, 2025
1 parent 424ead0 commit d5ce4a4
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions tools/update_documantation.sh
Original file line number Diff line number Diff line change
Expand Up @@ -2,14 +2,14 @@

SCRIPT_DIR=$(dirname "$0")
pushd "${SCRIPT_DIR}/.." > /dev/null
git cliff > docs/changelog.md
code docs/changelog.md
git cliff > docs/en/changelog.md
code docs/en/changelog.md

read -r -p "Ready to publish? [y/N]: " response

if [[ "$response" =~ ^[Yy]$ ]]; then
mkdocs gh-deploy
fi
git restore docs/changelog.md
git restore docs/en/changelog.md

popd > /dev/null

0 comments on commit d5ce4a4

Please sign in to comment.