diff options
| author | Chris Johns <chrisj@rtems.org> | 2017-03-20 12:18:53 +1100 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2017-03-20 12:18:53 +1100 |
| commit | f97be09dafecd715906b8feaa57b176c8e9606d9 (patch) | |
| tree | 9d33e77448d840260e0ece7906b751b69ccd3027 /rtemsconfig/conf.py | |
| parent | user: Add tool commands to the user manual. (diff) | |
| download | rtems-docs-f97be09dafecd715906b8feaa57b176c8e9606d9.tar.bz2 | |
Use a single top level version number.
Diffstat (limited to '')
| -rw-r--r-- | rtemsconfig/conf.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/rtemsconfig/conf.py b/rtemsconfig/conf.py index d9e87bb..bde195e 100644 --- a/rtemsconfig/conf.py +++ b/rtemsconfig/conf.py @@ -3,10 +3,10 @@ sys.path.append(os.path.abspath('../common/')) from conf import * -version = '1.0' -release = '5.0' - latex_documents = [ - ('index', 'rtemsconfig.tex', u'RTEMS RTEMS Config Documentation', u'RTEMS Documentation Project', 'manual'), + ('index', + 'rtemsconfig.tex', + u'RTEMS RTEMS Config Documentation', + u'RTEMS Documentation Project', + 'manual'), ] - |