From ead2496f73d401b096bb92e66e7434160d65c6e2 Mon Sep 17 00:00:00 2001 From: Ian Price Date: Wed, 19 Sep 2012 17:40:17 +0100 Subject: [PATCH] Fix typo in scheme-using.texi * doc/ref/scheme-using.texi (System Commands): Fix typo. --- doc/ref/scheme-using.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/ref/scheme-using.texi b/doc/ref/scheme-using.texi index 3d439132b..7eb84de0a 100644 --- a/doc/ref/scheme-using.texi +++ b/doc/ref/scheme-using.texi @@ -457,7 +457,7 @@ show a short error printout. Default values for REPL options may be set using @code{repl-default-option-set!} from @code{(system repl common)}: -@deffn {Scheme Procedure} repl-set-default-option! key value +@deffn {Scheme Procedure} repl-default-option-set! key value Set the default value of a REPL option. This function is particularly useful in a user's init file. @xref{Init File}. @end deffn