% The following are copied from manmac.tex and are taken from p421 of
% the TeXbook  ... modified to \verbatim...\endverbatim
% macros for verbatim scanning
\chardef\other=12
\def\ttverbatim{\begingroup
  \catcode`\\=\other
  \catcode`\{=\other
  \catcode`\}=\other
  \catcode`\$=\other
  \catcode`\&=\other
  \catcode`\#=\other
  \catcode`\%=\other
  \catcode`\~=\other
  \catcode`\_=\other
  \catcode`\^=\other
  \obeyspaces \obeylines \tt}
{\obeyspaces\global\let =\ } % from texbook, p 381


\outer\def\verbatim{$$\let\par=\endgraf \ttverbatim \parskip=0pt
 \rightskip-5pc \ttfinish}
{\catcode`\|=0 |catcode`|\=\other % | is temporary escape character
  |obeylines % end of line is active
  |gdef|ttfinish#1^^M#2\endverbatim{#1|vbox{#2}|endgroup$$}}


% end of manmac stuff

