%%
%% Manual index.
%%

\newcommand{\mainschindex}[1]{\index{#1@\texttt{#1}}}
\newcommand{\mainindex}[1]{\index{#1}}
\newcommand{\schindex}[1]{\index{#1@\texttt{#1}}}

\newcommand{\codemainindex}[1]{{\mainschindex{{#1}}\code{#1}}}
\newcommand{\codeindex}[1]{{\schindex{#1}\code{#1}}}
