lhs2tex-1.20: doc/IncludePrelude.lhs

%include tex.fmt
%subst string a = "\text{\ttfamily " a "}"

\begin{code}
dir(include) "lhs2TeX.fmt"
\end{code}