diff options
author | Chris Johns <chrisj@rtems.org> | 2016-03-09 15:35:00 +1100 |
---|---|---|
committer | Amar Takhar <verm@darkbeer.org> | 2016-05-02 20:51:26 -0400 |
commit | 867016de1245969e91f5cbc80900531548ef7682 (patch) | |
tree | 4d3daa9b55ec2f1f8ac038fd77ae40dd2539c3bb /common | |
parent | Run through 2to3. (diff) | |
download | rtems-docs-867016de1245969e91f5cbc80900531548ef7682.tar.bz2 |
Format the index for PDF output.
Diffstat (limited to 'common')
-rw-r--r-- | common/rtemsstyle.sty | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/common/rtemsstyle.sty b/common/rtemsstyle.sty index 6761b96..033b494 100644 --- a/common/rtemsstyle.sty +++ b/common/rtemsstyle.sty @@ -10,6 +10,10 @@ \renewenvironment{tabulary}{\underscoresplit\oldtabulary}{\endoldtabulary\endunderscoresplit} +\let\oldprintindex\printindex + +\renewenvironment{printindex}{\underscoresplit\oldprintindex} + \renewcommand{\maketitle}{% \begin{titlepage}% |