From d98cc4b529dd162dd03c954aa5e8e7b9a9d0ab00 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Mon, 13 May 2024 13:49:50 +0200
Subject: [PATCH] [release] Update set-version to update changes_modern.tex in
E-EACSL
---
dev/set-version.sh | 2 ++
1 file changed, 2 insertions(+)
diff --git a/dev/set-version.sh b/dev/set-version.sh
index e1c23b1f148..c4cd2838321 100755
--- a/dev/set-version.sh
+++ b/dev/set-version.sh
@@ -124,6 +124,8 @@ else
doc/aorai/main.tex
$SED -i "s/\(^\\\\section\*{E-ACSL \\\\eacslpluginversion \\\\eacslplugincodename}\)/%\1\n\n\\\\section\*{E-ACSL $NEXT_MAJOR.$NEXT_MINOR $NEXT_CODENAME}/g" \
src/plugins/e-acsl/doc/userman/changes.tex
+ $SED -i "s/\(^\\\\subsection\*{Version Frama-C+dev}\)/%\1\n\n\\\\subsection\*{Version $NEXT_CODENAME-$NEXT_MAJOR}/g" \
+ src/plugins/e-acsl/doc/refman/changes_modern.tex
# Reference configuration
$SED -i "s/Frama-C [1-9][0-9]\.[0-9]/Frama-C $NEXT_MAJOR.$NEXT_MINOR/gI" \
--
GitLab