From b761e3954853bf282906665bfab4e2013fc3a1f8 Mon Sep 17 00:00:00 2001 From: Xavier Berger Date: Thu, 13 Aug 2026 19:02:38 +0200 Subject: [PATCH] build: Update document generation script --- tools/update_documentation.sh | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/tools/update_documentation.sh b/tools/update_documentation.sh index 8c74b27..6f3c072 100755 --- a/tools/update_documentation.sh +++ b/tools/update_documentation.sh @@ -1,8 +1,17 @@ #!/bin/bash +set -e SCRIPT_DIR=$(dirname "$0") pushd "${SCRIPT_DIR}/.." > /dev/null -git cliff | sed "s/#74 //" > docs/en/changelog.md + +cleanup() { + git restore docs/en/changelog.md docs/fr/changelog.md 2>/dev/null || true + popd > /dev/null 2>&1 || true +} +trap cleanup EXIT + +git cliff -l > docs/en/changelog.md + code docs/en/changelog.md read -r -p "Ready to publish? [y/N]: " response @@ -12,7 +21,4 @@ cp docs/en/changelog.md docs/fr/changelog.md if [[ "$response" =~ ^[Yy]$ ]]; then mkdocs gh-deploy fi -git restore docs/en/changelog.md -git restore docs/fr/changelog.md -popd > /dev/null