mirror of
https://git.rtems.org/rtems-docs/
synced 2025-07-23 08:22:51 +08:00
Format the index for PDF output.
This commit is contained in:
parent
0858375b5a
commit
867016de12
@ -10,6 +10,10 @@
|
||||
|
||||
\renewenvironment{tabulary}{\underscoresplit\oldtabulary}{\endoldtabulary\endunderscoresplit}
|
||||
|
||||
\let\oldprintindex\printindex
|
||||
|
||||
\renewenvironment{printindex}{\underscoresplit\oldprintindex}
|
||||
|
||||
|
||||
\renewcommand{\maketitle}{%
|
||||
\begin{titlepage}%
|
||||
|
Loading…
x
Reference in New Issue
Block a user