summaryrefslogtreecommitdiffstats
path: root/user/start/tools.rst
diff options
context:
space:
mode:
authorGedare Bloom <gedare@rtems.org>2020-04-03 16:55:39 -0600
committerChris Johns <chrisj@rtems.org>2020-04-04 10:14:47 +1100
commitfb3644c14ba152fed52a63eb229fd52e787586c1 (patch)
tree50d3bc7ebda6e53b4ebf61ffa91e79cba34dd6b3 /user/start/tools.rst
parentAdd a release procedure section. (diff)
downloadrtems-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