% filename.sty  \filename records the current filename
%
% first version: 1 Mar 91 (br)
% last change  : 5 Mar 91 (br)
%
\typeout{Style option `filename' <5 Mar 91> (br)}

\let\filename=\jobname
\let\old@@input=\@@input
\def\@@input#1 {\def\file@name{#1}%
  \expandafter\file@@input
  \expandafter\reset@filename\expandafter{\filename}}
\def\file@@input{\let\filename=\file@name
  \old@@input\filename\relax}
\def\reset@filename{\def\filename}

\endinput
% -- end of `filename.sty'
%From: raichle@azu.informatik.uni-stuttgart.de (Bernd Raichle)
