Bump version number in user documentation

kind2-mc · Dec 23, 2020 · 30b0e1b · 30b0e1b
1 parent 53b6f32
commit 30b0e1b
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/doc/usr/source/conf.py b/doc/usr/source/conf.py
@@ -23,9 +23,9 @@
 author = 'Kind 2 Team'
 
 # The short X.Y version
-version = 'v1.2'
+version = 'v1.3'
 # The full version, including alpha/beta/rc tags
-release = 'v1.2.0'
+release = 'v1.3.0'
 
 nitpicky = True
 
@@ -250,7 +250,7 @@
 
             \sffamily\Large \textbf{\Huge {Kind 2 User Documentation}}
 
-            \sffamily\Large \textbf{Version 1.2.0}
+            \sffamily\Large \textbf{Version 1.3.0}
 
             \newdateformat{monthdayyear}{%
                 \monthname[\THEMONTH] \THEDAY, \THEYEAR}