diff options
| author | Gedare Bloom <gedare@rtems.org> | 2020-04-03 16:55:39 -0600 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2020-04-04 10:14:47 +1100 |
| commit | fb3644c14ba152fed52a63eb229fd52e787586c1 (patch) | |
| tree | 50d3bc7ebda6e53b4ebf61ffa91e79cba34dd6b3 /common/conf.py | |
| parent | Add a release procedure section. (diff) | |
| download | rtems-docs-fb3644c14ba152fed52a63eb229fd52e787586c1.tar.bz2 | |
common: fix title page
Sphinx changed the default behavior of maketitle. Provide our
own rtemsmaketitle command and use it instead.
Diffstat (limited to 'common/conf.py')
| -rw-r--r-- | common/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/common/conf.py b/common/conf.py index 97f8dfa..257bc4e 100644 --- a/common/conf.py +++ b/common/conf.py @@ -193,6 +193,7 @@ latex_elements = { \newcommand{\rtemscopyright}{%s} \usepackage{rtemsstyle} ''' % (copyright), + 'maketitle': r'\rtemsmaketitle', 'parsedliteralwraps': True, } |