  %%  input a file verbatim.

% Rene' Seindal (seindal@diku.dk) Thu Feb 11 18:09:17 1988 
% Usage: \verbatimfile{filename}

\def\@beginverb{\begin{verbatim}}

\begingroup
\catcode `|=0 \catcode `[= 1 \catcode`]=2 
\catcode `\{=12 \catcode `\}=12 \catcode`\\=12
|gdef|@endverb[\end{verbatim}]
|endgroup

\def\verbatimfile#1{\def\next{\input{#1}}\expandafter\@verbinput\@endverb}

\def\@verbinput{\expandafter\@beginverb\next}
