diff options
Diffstat (limited to 'api-docs')
| -rw-r--r-- | api-docs/source/conf.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/api-docs/source/conf.py b/api-docs/source/conf.py index 09db6c31..3fceda1a 100644 --- a/api-docs/source/conf.py +++ b/api-docs/source/conf.py @@ -229,7 +229,8 @@ author = u'Vector 35 Inc' # # The short X.Y version. version = u'.'.join(str(binaryninja.core_version()).split('.')[0:2]) -release = str(binaryninja.core_version()) +# The longer X.Y.Z-channel version. (We intentionally strip the edition.) +release = str(binaryninja.core_version().split(' ')[0]) language = 'en' |