version 2.3.0

tjhei · tjhei · commit 42505d0e3a9c · 2021-07-23T12:09:44.000-04:00
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-2.3.0-rc1
+2.3.0
diff --git a/doc/manual/manual.tex b/doc/manual/manual.tex
@@ -159,7 +159,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.3.0-rc1 %VERSION-INFO%
+2.3.0 %VERSION-INFO%
       \\
       \large(generated \today)
       \\[16pt]
