% MAKEIDX DOCUMENT-STYLE OPTION FOR ARTICLE STYLE
% RELEASED 21 october 1991 -- for LaTeX version 2.09
% Copyright (C) 1987, 1991 by Leslie Lamport, all rights reserved

\typeout{Document style option `makeidx' - released 21 Oct 91}

\@ifundefined{seename}%
   {\def\seename{see}}{}

\def\see#1#2{{\em \seename\/} #1}

\def\printindex{\@input{\jobname.ind}}

\endinput
