From c287ceb47cd5bc48982f75e80ed51957dff72cb8 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 26 Sep 2022 08:42:37 +0000
Subject: [PATCH] Fix version name in installation file.

---
 dev/build-release.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev/build-release.sh b/dev/build-release.sh
index 520f9b3771a..22a708b2a41 100755
--- a/dev/build-release.sh
+++ b/dev/build-release.sh
@@ -371,7 +371,7 @@ cat >$INSTALL_WEBPAGE <<EOL
 ---
 layout: installation_page
 version: $LOWER_CODENAME
-title: Installation instructions for $CODENAME
+title: Installation instructions for Frama-C $VERSION ($CODENAME)
 ---
 EOL
 sed ./INSTALL.md -e "s/^\(# Installing Frama-C\)$/\1 $EXT/" >>$INSTALL_WEBPAGE
-- 
GitLab