Doc updates, including contribution from Ian Sheldon.

[bpt/guile.git] / doc / ref / repl-modules.texi

diff --git a/doc/ref/repl-modules.texi b/doc/ref/repl-modules.texi
index b136bd8..ea57e36 100644 (file)
--- a/doc/ref/repl-modules.texi
+++ b/doc/ref/repl-modules.texi
@@ -68,7 +68,7 @@ expressions available.
 The readline interface module can be configured in several ways to
 better suit the user's needs.  Configuration is done via the readline
 module's options interface, in a similar way to the evaluator and
-debugging options (@pxref{General option interface}.)
+debugging options (@pxref{User level options interfaces}.)
 
 Here is the list of readline options generated by typing
 @code{(readline-options 'full)} in Guile.  You can also see the