%
% $Id: manual.tex,v 1.1 1994/10/24 18:39:38 gaertner Exp $
%
% frame for the pretzel user's manual
%
% $Log: manual.tex,v $
% Revision 1.1  1994/10/24  18:39:38  gaertner
% Initial revision
%
%


\documentstyle[pretzel]{report}

\makeindex % creates an .idx file for MakeIndex

\pagestyle{headings}

\begin{document}

% read the titlepage
\begin{titlepage}
\input{manual-title}
\end{titlepage}

\tableofcontents

\input{manual-intro} % introduction

\input{chap2}

%
% At last we reach the index. The index was generated with the
% MakeIndex program.
\addcontentsline{toc}{chapter}{Index}

\printindex % reads the .ind file and prints the index


% Here we have reached the end!
\end{document}
