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