diff --git a/dev/set-version.sh b/dev/set-version.sh
index e1c23b1f1488b08d1e5b266b07b03f0dca371746..c4cd28383213e80337f5e80b791323082d505dee 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" \