diff options
| author | Chris Johns <chrisj@rtems.org> | 2016-11-03 16:58:08 +1100 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2016-11-03 16:58:08 +1100 |
| commit | 72a62ad88f82fe1ffee50024db4dd0f3fa5806f7 (patch) | |
| tree | 6b0e527e67141f8126ba56b8a3c1eb90aeed5849 /c-user/conf.py | |
| parent | waf: Use separate doctrees so avoid sphinx clashes. (diff) | |
| download | rtems-docs-72a62ad88f82fe1ffee50024db4dd0f3fa5806f7.tar.bz2 | |
Rename all manuals with an _ to have a -. It helps released naming of files.
Diffstat (limited to '')
| -rw-r--r-- | c-user/conf.py (renamed from c_user/conf.py) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/c_user/conf.py b/c-user/conf.py index 04d6615..eaf8e92 100644 --- a/c_user/conf.py +++ b/c-user/conf.py @@ -9,5 +9,5 @@ release = '4.11.0' project = "RTEMS C User Manual" latex_documents = [ - ('index', 'c_user.tex', u'RTEMS C User Documentation', u'RTEMS Documentation Project', 'manual'), + ('index', 'c-user.tex', u'RTEMS C User Documentation', u'RTEMS Documentation Project', 'manual'), ] |