X-Git-Url: http://git.hcoop.net/bpt/guile.git/blobdiff_plain/3553e1d1f037df79b10e5f8589884c02e57fe144..c936bede422ef810909ed51379f41191627a5575:/doc/ref/repl-modules.texi

diff --git a/doc/ref/repl-modules.texi b/doc/ref/repl-modules.texi
index b136bd865..ea57e365b 100644
--- 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