1.1 --- a/doc-src/extra.sty	Mon Jul 11 13:15:05 1994 +0200
     1.2 +++ b/doc-src/extra.sty	Mon Jul 11 16:29:21 1994 +0200
     1.3 @@ -13,7 +13,8 @@
     1.4  %\leftmargini is LaTeX's first-level indentation for items (2.5em)
     1.5  %@endparenv is LaTeX's trick for preventing indentation of next paragraph
     1.6  \newenvironment{ttbox}{\par\nobreak\vskip-2pt
     1.7 -           \vbox\bgroup\footnotesize\begin{alltt} \leftskip\leftmargini}%
     1.8 +           \vbox\bgroup\footnotesize\begin{alltt}\chardef\{=`\{\chardef\}=`\}%
     1.9 +             \leftskip\leftmargini}%
    1.10          {\end{alltt}\egroup\vskip-7pt\@endparenv}
    1.11  \newcommand\ttbreak{\end{ttbox}\vskip-10pt\begin{ttbox}}
    1.12