%% source.sty  -  bert@mit.edu  -  04/22/94
%%
%% a macro for including source code in LaTeX
%%
%% To use, add between the []'s on your \documentstyle line.
%%
%% usage:  \source{filename}
%%
%% this inserts the contents of ``filename'' in the text as if it were
%% inserted inside a {\tt verbatim} environment.

\let\sourcefont=\tt
\def\source#1{{\@verbatim \sourcefont
  \frenchspacing\@vobeyspaces \input #1 \endtrivlist}}