diff --git a/docs/database/cmulisp.sty b/docs/database/cmulisp.sty
index 363e8ad90279642cb33a85905833807d9b7cc1e9..093591227eb6f166aef069bb9b8bf35cd341b993 100644
--- a/docs/database/cmulisp.sty
+++ b/docs/database/cmulisp.sty
@@ -116,24 +116,4 @@ Projects Agency or the U.S. government.
 \def\@oddfoot{}
 \def\@evenfoot{\@oddfoot}
 
-
-\def\maketitle{\par
- \begingroup
- \def\thefootnote{\fnsymbol{footnote}}
- \def\@makefnmark{\hbox 
- to 0pt{$^{\@thefnmark}$\hss}} 
- \@maketitle
- \@thanks
- \endgroup
- \setcounter{footnote}{0}
- \let\maketitle\relax
- \let\@maketitle\relax
- \gdef\@thanks{}\gdef\@author{}\gdef\@title{}\let\thanks\relax}
-\def\@maketitle{\vbox to 2.25in{\hsize\textwidth 
- \linewidth\hsize \vfil \centering
- {\LARGE \@title \par} \vskip 2em {\large \begin{tabular}[t]{c}\@author
-\end{tabular}\par} 
- \vfil}}
-
-
 \sloppy