diff --git a/VERSION b/VERSION index bb7adc0d9fa..197c4d5c2d7 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -2.4.0-rc1 +2.4.0 diff --git a/doc/manual/manual.tex b/doc/manual/manual.tex index 981653a297c..a46ed77ed12 100644 --- a/doc/manual/manual.tex +++ b/doc/manual/manual.tex @@ -160,7 +160,7 @@ \hfill{\Huge \fontfamily{\sfdefault}\selectfont User Manual \\ \raggedleft \huge \fontfamily{\sfdefault}\selectfont Version % keep the following line as is so that we can replace this using a script: -2.4.0-rc1 %VERSION-INFO% +2.4.0 %VERSION-INFO% \\ \large(generated \today) \\[16pt]