diff options
author | Chris Johns <chrisj@rtems.org> | 2016-11-09 13:57:54 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2016-11-09 13:57:54 +1100 |
commit | 5fe847f7244417cc377fa8c6f6bee6e3d567b17a (patch) | |
tree | e4eed71254e075e07b17f05c6a307b02946a6e22 /develenv/conf.py | |
parent | eclipse: Fix heading levels. (diff) | |
download | rtems-docs-5fe847f7244417cc377fa8c6f6bee6e3d567b17a.tar.bz2 |
develenv: Fix header levels.
Diffstat (limited to 'develenv/conf.py')
-rw-r--r-- | develenv/conf.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/develenv/conf.py b/develenv/conf.py index d6bc2bd..6358d33 100644 --- a/develenv/conf.py +++ b/develenv/conf.py @@ -3,10 +3,9 @@ sys.path.append(os.path.abspath('../common/')) from conf import * -version = '1.0' -release = '5.0' +version = '4.11.0' +release = '4.11.0' latex_documents = [ ('index', 'develenv.tex', u'RTEMS Development Environment Documentation', u'RTEMS Documentation Project', 'manual'), ] - |