% 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
