summaryrefslogtreecommitdiff
path: root/api-docs
diff options
context:
space:
mode:
authorAlexander Taylor <alex@vector35.com>2024-10-02 18:27:19 -0400
committerAlexander Taylor <alex@vector35.com>2024-10-02 18:27:19 -0400
commit7e8d66a089e35d2424879a4121f47c9ea808a86f (patch)
tree93358902a8f4eb30c950e08b5e372fd682340cb8 /api-docs
parentfefe5882f0e2ef445f509b5b73f4dbce4f15944f (diff)
Don't include edition when generating API docs.
Diffstat (limited to 'api-docs')
-rw-r--r--api-docs/source/conf.py3
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'