diff options
author | Chris Johns <chrisj@rtems.org> | 2022-08-03 14:13:09 +1000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2022-08-03 14:28:19 +1000 |
commit | c935a2c918e9310233a43a287fdd361a36baab91 (patch) | |
tree | 0740802fbbf9717878e16de3da819bbcf52b24a4 /common/version.py | |
parent | c-user: Document new rtems_task_delete() behaviour (diff) | |
download | rtems-docs-c935a2c918e9310233a43a287fdd361a36baab91.tar.bz2 |
building: Add support for an RTEMS version number
- Support using a version number for RTEMS documentation
Updates #4695
Diffstat (limited to '')
-rw-r--r-- | common/version.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/common/version.py b/common/version.py index 281c880..bfe0e1b 100644 --- a/common/version.py +++ b/common/version.py @@ -111,6 +111,9 @@ def _pretty_day(ctx, date): def get(ctx, rtems_major_version): global _version + global _major + global _minor + global _revision global _date global _released version = _version @@ -184,7 +187,7 @@ def minor(): return _minor def revision(): - return revision + return _revision def date(): return _date |