diff options
| author | Alexander Taylor <alex@vector35.com> | 2024-10-02 18:27:19 -0400 |
|---|---|---|
| committer | Alexander Taylor <alex@vector35.com> | 2024-10-02 18:27:19 -0400 |
| commit | 7e8d66a089e35d2424879a4121f47c9ea808a86f (patch) | |
| tree | 93358902a8f4eb30c950e08b5e372fd682340cb8 /api-docs/source | |
| parent | fefe5882f0e2ef445f509b5b73f4dbce4f15944f (diff) | |
Don't include edition when generating API docs.
Diffstat (limited to 'api-docs/source')
| -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' |