stupid, stupid, stupid...  raw_input() already supports readline() if the
readline module is loaded.
diff --git a/Doc/lib/libreadline.tex b/Doc/lib/libreadline.tex
index 34d3a4c..d0b26a3 100644
--- a/Doc/lib/libreadline.tex
+++ b/Doc/lib/libreadline.tex
@@ -15,10 +15,6 @@
 The \module{readline} module defines the following functions:
 
 
-\begin{funcdesc}{readline}{\optional{prompt}}
-Get a single line of input from the user.
-\end{funcdesc}
-
 \begin{funcdesc}{parse_and_bind}{string}
 Parse and execute single line of a readline init file.
 \end{funcdesc}
@@ -160,7 +156,7 @@
 \end{verbatim}
 
 The following example extends the \class{code.InteractiveConsole} class to
-support command line editing and history save/restore.
+support history save/restore.
 
 \begin{verbatim}
 import code
@@ -183,12 +179,6 @@
                 pass
             atexit.register(self.save_history, histfile)
 
-    def raw_input(self, prompt=""):
-        line = readline.readline(prompt)
-        if line:
-            readline.add_history(line)
-        return line
-
     def save_history(self, histfile):
         readline.write_history_file(histfile)
 \end{verbatim}