From aa8564d45f6d491c77a858baa702d04a4d3ff8d2 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 17 Mar 2023 15:03:52 +0100
Subject: [PATCH] [release] add aorai manual to set-version
---
dev/set-version.sh | 3 ++-
doc/aorai/main.tex | 2 ++
2 files changed, 4 insertions(+), 1 deletion(-)
diff --git a/dev/set-version.sh b/dev/set-version.sh
index c3ca6fa27cc..a057ca17997 100755
--- a/dev/set-version.sh
+++ b/dev/set-version.sh
@@ -91,6 +91,7 @@ sed -i "s/\(^\\\\section\*{Frama-C+dev}\)/%\1\n\n\\\\section\*{$NEXT_MAJOR.$NEXT
doc/userman/user-changes.tex
sed -i "s/\(^\\\\section\*{Frama-C+dev}\)/%\1\n\n\\\\section\*{$NEXT_MAJOR.$NEXT_MINOR ($NEXT_CODENAME)}/g" \
doc/developer/changes.tex
-
+sed -i "s/\(^\\\\subsection{Frama-C+dev}\)/%\1\n\n\\\\subsection{Frama-C $NEXT_CODENAME}/g" \
+ 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
diff --git a/doc/aorai/main.tex b/doc/aorai/main.tex
index 0c902318f7b..43ed2deea1d 100644
--- a/doc/aorai/main.tex
+++ b/doc/aorai/main.tex
@@ -1123,6 +1123,8 @@ The plug-in is composed of three parts:
\section{Recent updates}
+%\subsection{Frama-C+dev}
+
\subsection{Frama-C Iron}
\begin{itemize}
\item Remove obsolete support for LTL and Promela input language
--
GitLab