% header.tex
% Thomas Leathrum, Geoffrey Tobin (G.Tobin@latrobe.edu.au).
% Tue 28 May 1996.
% For MFpic documentation.

% heading macros
\newskip\myskip\myskip=5pt plus 1pt
\def\head#1{\vskip\myskip \noindent $\bullet$ {\it #1} \par\nobreak}
\def\subhead#1{\vskip\myskip {\sl #1} \par\nobreak}

% abbreviations
\def\LaTeX{{\rm L\raise.42ex\hbox{\kern-.36em A}\kern-.15em\TeX}}
\def\LaTeXe{{\rm L\raise.42ex\hbox{\kern-.36em A}\kern-.15em\TeX
  ${}_{2\varepsilon}$}}
\def\PiCTeX{{\rm
  P\kern-.12em\lower.5ex\hbox{I}\kern-.075emC\kern-.11em\TeX}}
%
% Would prefer logo10 or manfnt, but these often lack `P' or `S'.
\font\manual=cmcsc10
\def\MF{{\manual META}\-{\manual FONT}}
\def\MP{{\manual META}\-{\manual POST}}
\def\MFbook{{\it The \MF{}\-book\/}}
%
\def\PS{{\rm Post}\-{\rm Script}}

% metacode macros
\def\<{$\langle$\bgroup\it}\def\>{\egroup$\rangle$}
% shorthand for greek theta for mathematics
\def\TH{$\theta$}
% macro to typeset macros
% e.g. \macro{name}[?arg1][arg2] gives
% \name[arg1]{arg2}
\def\gobble#1{}
\def\dooptparam[#1]{{\tt[#1]}\futurelet\nchr\domacro}
\def\dofixparam[#1]{{\tt\string{#1\string}}\futurelet\nchr\domacro}
\def\doparamswap{\if?\nchr\dooptparam[\expandafter\gobble
  \else\dofixparam[\fi}
\def\doparam{\futurelet\nchr\doparamswap}
\def\ddoparam{\expandafter\doparam\gobble}
\def\domacro{\if[\nchr\expandafter\ddoparam\fi}
\def\bsl{{\tt\char\escapechar}}
\def\macro#1{\bsl{\tt#1}\futurelet\nchr\domacro}

% logical markup to typeset filenames, program names, MF code,
% grafbase identifiers, environment names, email addresses, and
% emphasis.
\def\file#1{{\tt #1}}
\def\prog#1{{\tt #1}}
\def\mfc#1{{\tt #1}}
\def\gbc#1{{\tt #1}}
\def\env#1{{\tt #1}}
\def\mail#1{{\tt #1}}
\def\emph#1{{\it #1\/}}

% Forced, Clean, Linebreak.

\def\brk{\hfil\break}

% Typewriter type braces (redefinitions of escaped braces) :
\def\{{{\tt \char`\{}}
\def\}{{\tt \char`\}}}

% Semi-verbatim text :

\def\uncatcodespecials{\def\do##1{\catcode`##1=12 }\dospecials}

\def\setupverbatim{\tt
  \def\par{\leavevmode\endgraf} \catcode`\`=\active
  \obeylines \uncatcodespecials \obeyspaces}

{\obeyspaces\global\let =\ }

{\catcode`\`=\active \gdef`{\relax\lq}}
  
\def\beginverbatim{\par\begingroup\setupverbatim\doverbatim}

{\catcode`\|=0 \catcode`\\=12 % | is temporary escape character
  |obeylines|gdef|doverbatim^^M#1\endverbatim{#1|endgroup}}

% EOF header.tex