% -*- Mode:TeX -*-
%% TO LATEX JUST THE MANUAL INDEX

\input hardform

\begin{document}
\setcounter{page}{40}
\cleardoublepage
\begin{theindex}
\input index
\end{theindex}

\end{document}
