forked from Isabelle_DOF/Isabelle_DOF
Fixed printing of bfindex.
This commit is contained in:
parent
f908c4954b
commit
080da57cb9
|
@ -29,7 +29,7 @@
|
|||
\usepackage{railsetup}
|
||||
|
||||
\usepackage{index}
|
||||
\newcommand{\bindex}[1]{\index{#1|bfseries}}
|
||||
\newcommand{\bindex}[1]{\index{#1|textbf}}
|
||||
\makeindex
|
||||
\AtEndDocument{\printindex}
|
||||
|
||||
|
|
Reference in New Issue