1.1 --- a/doc-src/extra.sty	Fri Sep 09 11:52:38 1994 +0200
     1.2 +++ b/doc-src/extra.sty	Fri Sep 09 11:57:49 1994 +0200
     1.3 @@ -8,10 +8,23 @@
     1.4  July\or August\or September\or October\or November\or December\fi
     1.5  \space\number\year}
     1.6  
     1.7 -\input{alltt.sty}
     1.8 +%%Borrowed from alltt.sty, but leaves % as the comment character
     1.9 +\def\docspecials{\do\ \do\$\do\&%
    1.10 +  \do\#\do\^\do\^^K\do\_\do\^^A\do\~}
    1.11 +
    1.12 +\def\alltt{\trivlist \item[]\if@minipage\else\vskip\parskip\fi
    1.13 +\leftskip\@totalleftmargin\rightskip\z@
    1.14 +\parindent\z@\parfillskip\@flushglue\parskip\z@
    1.15 +\@tempswafalse \def\par{\if@tempswa\hbox{}\fi\@tempswatrue\@@par}
    1.16 +\obeylines \tt \catcode``=13 \@noligs \let\do\@makeother \docspecials
    1.17 + \frenchspacing\@vobeyspaces}
    1.18 +
    1.19 +\let\endalltt=\endtrivlist
    1.20 +
    1.21  %Indented, boxed alltt environment; uses \small\tt font
    1.22  %\leftmargini is LaTeX's first-level indentation for items (2.5em)
    1.23  %@endparenv is LaTeX's trick for preventing indentation of next paragraph
    1.24 +%redefines \{ and \} to be in \tt font
    1.25  \newenvironment{ttbox}{\par\nobreak\vskip-2pt
    1.26             \vbox\bgroup\footnotesize\begin{alltt}\chardef\{=`\{\chardef\}=`\}%
    1.27               \leftskip\leftmargini}%