fix doc version

This commit is contained in:
Irmen de Jong 2023-07-02 21:01:11 +02:00
parent de5ce0f515
commit c0024e97e5

View File

@ -23,11 +23,19 @@ copyright = 'Irmen de Jong'
author = 'Irmen de Jong'
def read_properties(filename):
props = {}
for line in open("../../gradle.properties").readlines():
key, value = line.split('=')
props[key] = value
return props
# The short X.Y version
version = open("../../compiler/res/version.txt").readline()
version = read_properties("gradle.properties")["version"]
# The full version, including alpha/beta/rc tags
release = version
# -- extensions
def setup(app):