/usr/share/hevea/index.hva is in hevea 2.18-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 | \@primitives{index}
\newsavebox{\@indexbox}
\newcommand{\index}[2][default]
{\if@refs%
\sbox{\@indexbox}{\@indexwrite[#1]{#2}{\@indexlabel}}% side effect
\@locname{\usebox{\@indexbox}}{}%
\fi}
\newcommand{\index*}[2][default]
{\if@refs\sbox{\@indexbox}{\@indexwrite[#1]{#2}{\@indexlabel}}% side effect
\@locname{\usebox{\@indexbox}}{#2}\fi}
\newcommand{\printindex}[1][default]{\@printindex[#1]}
\newcommand{\makeindex}{\newindex{default}{idx}{ind}{Index}}
\newcommand{\see}[2]{\seename\ \textit{#1}}
\newcommand{\@vwritefile}[2]{}
|