%%
%% 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}}
