mirror of
https://git.rtems.org/rtems-docs/
synced 2025-10-20 05:40:40 +08:00
Update document titles for consistency
This commit is contained in:
@@ -7,5 +7,5 @@ version = '4.11.99'
|
||||
release = '4.11.99'
|
||||
|
||||
latex_documents = [
|
||||
('index', 'develenv.tex', u'RTEMS Development Environment Documentation', u'RTEMS Documentation Project', 'manual'),
|
||||
('index', 'develenv.tex', u'RTEMS Development Environment Guide', u'RTEMS Documentation Project', 'manual'),
|
||||
]
|
||||
|
Reference in New Issue
Block a user