diff options
author | Chris Johns <chrisj@rtems.org> | 2017-08-11 03:42:55 +0000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2017-08-11 13:45:57 +1000 |
commit | feb68323b7eb47129ca999c0b12c8dc0eefd61fd (patch) | |
tree | 78749761710e297a227865be6a9cf6eb6ce504ca /develenv/conf.py | |
parent | Update copyright notices. (diff) | |
download | rtems-docs-feb68323b7eb47129ca999c0b12c8dc0eefd61fd.tar.bz2 |
coverpage: Fix repeated entries.
Closes #2865.
Diffstat (limited to '')
-rw-r--r-- | develenv/conf.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/develenv/conf.py b/develenv/conf.py index 8a12a42..f902791 100644 --- a/develenv/conf.py +++ b/develenv/conf.py @@ -3,6 +3,8 @@ sys.path.append(os.path.abspath('../common/')) from conf import * +project = "RTEMS Development Environment Guide" + latex_documents = [ ('index', 'develenv.tex', |