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/rtemsstyle.sty | |
| 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 '')
| -rw-r--r-- | common/rtemsstyle.sty | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common/rtemsstyle.sty b/common/rtemsstyle.sty index 15f80b5..90e7de5 100644 --- a/common/rtemsstyle.sty +++ b/common/rtemsstyle.sty @@ -20,7 +20,7 @@ numbersep=5pt, gobble=0, } -\renewcommand{\maketitle}{% +\newcommand{\rtemsmaketitle}{% \let\spx@tempa\relax \ifHy@pageanchor\def\spx@tempa{\Hy@pageanchortrue}\fi \hypersetup{pageanchor=false}% avoid duplicate destination warnings |