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 /user/start/tools.rst | |
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 'user/start/tools.rst')
0 files changed, 0 insertions, 0 deletions