diff -r 96c87d5bb015 -r cffb278ec83e doc-src/extra.sty
--- 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}%