1
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3
% Hevea version of headers.sty
4
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
6
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
8
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
11
\newindex{tactic}{tacidx}{tacind}{%
12
\protect\addcontentsline{toc}{chapter}{Tactics Index}Tactics Index}
14
\newindex{command}{comidx}{comind}{%
15
\protect\addcontentsline{toc}{chapter}{Vernacular Commands Index}%
16
Vernacular Commands Index}
18
\newindex{error}{erridx}{errind}{%
19
\protect\addcontentsline{toc}{chapter}{Index of Error Messages}Index of Error Messages}
21
\renewindex{default}{idx}{ind}{%
22
\protect\addcontentsline{toc}{chapter}{Global Index}%
25
\newcommand{\tacindex}[1]{%
26
\index{#1@\texttt{#1}}\index[tactic]{#1@\texttt{#1}}}
27
\newcommand{\comindex}[1]{%
28
\index{#1@\texttt{#1}}\index[command]{#1@\texttt{#1}}}
29
\newcommand{\errindex}[1]{\texttt{#1}\index[error]{#1}}
30
\newcommand{\errindexbis}[2]{\texttt{#1}\index[error]{#2}}
31
\newcommand{\ttindex}[1]{\index{#1@\texttt{#1}}}
33
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
34
% For the Addendum table of contents
35
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
36
\newcommand{\aauthor}[1]{{\LARGE \bf #1} \bigskip} % 3 \bigskip's that were here originally
37
% may be good for LaTeX but too much for HTML
38
\newcommand{\atableofcontents}{}
39
\newcommand{\achapter}[1]{\chapter{#1}}
40
\newcommand{\asection}{\section}
41
\newcommand{\asubsection}{\subsection}
42
\newcommand{\asubsubsection}{\subsubsection}