rtems/rtems-docs
1
0
Fork 0
mirror of https://git.rtems.org/rtems-docs/ synced 2025-10-19 18:49:31 +08:00
Code Issues Packages Projects Releases Wiki Activity

develenv: Fix header levels.

Browse Source
This commit is contained in:
Chris Johns
2016-11-09 13:57:54 +11:00
parent 499658fffe
commit 5fe847f724
7 changed files with 11 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
develenv/conf.py
View File

@@ -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'),
]